Locally cartesian closed categories without chosen constructions
From MaRDI portal
Publication:5454624
Recommendations
- Functional completeness of the free locally Cartesian closed category and interpretations of Martin-Löf's theory of dependent types
- The biequivalence of locally Cartesian closed categories and Martin-Löf type theories
- Locally cartesian closed categories and type theory
- Avoiding the axiom of choice in general category theory
- scientific article; zbMATH DE number 2079044
Cited in
(3)
This page was built for publication: Locally cartesian closed categories without chosen constructions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5454624)