1: \begin{definition}[see \cite{M3} Proposition/Definition 2.15]\label{quotientfusionrule}

2: 

3: Given a spin modular category $(\mcC,f)$ the object $\1\oplus f$ has a unique structure of an algebra (see the proof of Theorem 6.5 in \cite{KO}) : it is isomorphic to the (non-commutative) twisted group algebra $\mathbb{C}^w[\mathbb{Z}_2]$.  The following quotient $\qcal$ is called the \textit{fermionic  quotient} of $\mC$.   The objects of $\qcal$ are the same as $\mC$.  For two objects $x,y$ in $\qcal$, $\textrm{Hom}_{\qcal}(x,y)=\textrm{Hom}_{\mC}(x,y\otimes (\one \oplus f))$. Other structures such as braiding of $\mC$ will induce structures on $\qcal$.  The \textit{fermionic modular quotient} $\qcal_0$ of $\mcC_0$ is defined analogously.

4: 

5: \end{definition}

6: