definition. Cat [leinster2016basic, 3.2.10] [tt-003G]
definition. Cat [leinster2016basic, 3.2.10] [tt-003G]
We denote by \(\mathbf {Cat}\) the category of small categories and functors between them.
NOTE: This site has just upgraded to Forester 5.x and is still having some style and functionality issues, we will fix them ASAP.
We denote by \(\mathbf {Cat}\) the category of small categories and functors between them.