1: \begin{definition}[The Brauer category of a $p$-block]\label{BrauerCat}

2:  Let $G$ be a finite group, $p$ a prime, and $B$ a $p$-block of $G$. We refer the reader to \cite[Section~5.9.1]{NagaoTsushima1989} for the definitions of subpairs, $B$-subpairs, the relation $\unlhd$ and its transitive closure $\leq$, which is an ordering on subpairs. The defect groups of $B$ are precisely the $p$-subgroups $D$ of $G$ which occur as the first component of a maximal $B$-subpair of $G$. Fixing a maximal $B$-subpair $(D,b_D)$, for any subgroup $Q\leq D$, there exists a unique block $b_Q$ of $QC_G(Q)$ such that $(Q,b_Q)\leq (D,b_D)$. The Brauer category $\F_{(D,b_D)}(G,B)$ is the category whose objects are all subgroups of $D$ and, for $P,Q\leq D$, the set of morphisms from $P$ to $Q$ is given by 

3: $$\Hom_{\F_{(D,b_D)}(G,B)}(P,Q)=\{c_g:g\in G\mbox{ such that }(P^g,b_P^g)\leq (Q,b_Q)\},$$

4: where $c_g:P\rightarrow Q$ is defined via $c_g(x)=x^g$. It follows from \cite[Theorem~IV.3.2, Proposition~IV.3.14]{Aschbacher/Kessar/Oliver:2011a} that the category $\F_{(D,b_D)}(G,B)$ is a saturated fusion system on $D$. 

5: \end{definition}