Module theory

Discrete tabulator theories.

Structs

DiscreteTabTheory

A discrete tabulator theory.

TabMorOp

Operation on morphisms in a discrete tabulator theory.

Enums

TabMorProj

Projection onto morphism type in a discrete tabulator theory.

TabMorType

Morphism type in a discrete tabulator theory.

TabObProj

Projection onto object type in a discrete tabulator theory.

TabObType

Object type in a discrete tabulator theory.

Type Aliases

TabObOp

Operation on objects in a discrete tabulator theory.

UstrDiscreteTabTheory

Discrete tabulator theory with names of type Ustr.