Module model

Models of discrete tabulator theories.

Structs

DiscreteTabModel

A finitely presented model of a discrete tabulator theory.

Enums

TabEdge

“Edge” in a model of a discrete tabulator theory.

TabOb

Object in a model of a discrete tabulator theory.

Type Aliases

TabMor

Morphism in a model of a discrete tabulator theory.