Expand description
Categories: interfaces and basic constructions.
Structs§
- Discrete
Category - The discrete category on a set.
- Free
Category - The free category on a graph.
- ObSet
- The set of objects of a category.
- Underlying
Graph - The underlying graph of a category.
Traits§
- Category
- A category.
- FgCategory
- A finitely generated category with specified object and morphism generators.