Expand description
Standard library of double theories.
Functionsยง
- th_
category - The theory of categories, aka the trivial double theory.
- th_
category_ links - The theory of categories with links.
- th_
category_ with_ scalars - The theory of categories with scalars.
- th_
delayable_ signed_ category - The theory of delayable signed categories.
- th_
empty - The empty theory, which has a single model, the empty model.
- th_
nullable_ signed_ category - The theory of nullable signed categories.
- th_
schema - The theory of database schemas with attributes.
- th_
signed_ category - The theory of signed categories.