Expand description
Models of discrete tabulator theories.
Structs§
- Discrete
TabModel - 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.
- Ustr
Discrete TabModel - A model of a discrete tabulator theory where both theory and model have keys
of type
Ustr.