catlog::stdlib::theories

Function th_category

Source 
pub fn th_category() -> UstrDiscreteDblTheory
Expand description

The theory of categories, aka the trivial double theory.

As a double category, this is the terminal double category.