| Note | ⭐ | Refs | Ref by |
|---|---|---|---|
| cats-welcome | |||
| cats-category | |||
| cats-isomorphism | |||
| cats-functor | |||
| cats-natural-transformation | |||
| cats-initial-terminal | |||
| cats-equivalent | |||
| cats-representable | |||
| cats-homomorphism | |||
| cats-full-faithful | |||
| cats-category-theory | |||
| cats-product-category | |||
| cats-constant-functor | |||
| cats-slice-category | |||
| cats-free-group-functor | |||
| cats-category-of-elements | |||
| cats-zigzag | |||
| cats-skeleton | |||
| cats-product | |||
| cats-limit | |||
| cats-groupoid | |||
| cats-functor-category | |||
| cats-cone | |||
| cats-yoneda | |||
| cats-whiskering | |||
| cats-opposite-category | |||
| cats-monic-epic | |||
| cats-essentially-small | |||
| cats-essentially-discrete | |||
| cats-endo-auto | |||
| cats-concrete-category | |||
| cats-adjunction |