pub const CartDblTheories: ();
Expand description
Reference: Cartesian double theories.
Michael Lambert & Evan Patterson, 2024. Cartesian double theories: A double-categorical framework for categorical doctrines.
pub const CartDblTheories: ();
Reference: Cartesian double theories.
Michael Lambert & Evan Patterson, 2024. Cartesian double theories: A double-categorical framework for categorical doctrines.