Module theories

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.