Displayed Categories
From MaRDI portal
Publication:5111300
Recommendations
Cites work
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- scientific article; zbMATH DE number 7204300 (Why is no real title available?)
- Basic Category Theory
- Categorical logic and type theory
- Comprehension categories and the semantics of type dependency
- Homotopy type theory. Univalent foundations of mathematics
- Univalent categories and the Rezk completion
Cited in
(5)
This page was built for publication: Displayed Categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111300)