Similar Items: Cartesian Difference Categories
- Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
- Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version)
- High-Rank Irreducible Cartesian Tensor Decomposition and Bases of Equivariant Spaces
- Displayed Categories
- Universal Constructions for (Co)Relations: categories, monoidal categories, and props
- Coherent Presentations of Monoidal Categories