Constant CartDblTheories

pub const CartDblTheories: ();

Reference: Cartesian double theories.

Michael Lambert & Evan Patterson, 2024. Cartesian double theories: A double-categorical framework for categorical doctrines.

• DOI:10.1016/j.aim.2024.109630
• arXiv:2310.05384