Module fin_category

Data structures for finite and finitely presented categories.

Structs

FinCategory

A finite category with explicitly defined composition law.

FpCategory

A finitely presented category.

Enums

FinMor

Morphism in a finite category.

InvalidFinCategory

A failure of a finite category to be well defined.

InvalidFpCategory

A failure of a finite presentation of a category to be well defined.

Type Aliases

UstrFinCategory

A finite category with objects and morphisms of type Ustr.

UstrFpCategory

A finitely presented category with generators and equation keys of type Ustr.