Bicategories in univalent foundations
From MaRDI portal
Publication:5089004
Recommendations
Cites work
- scientific article; zbMATH DE number 1289305 (Why is no real title available?)
- scientific article; zbMATH DE number 1302059 (Why is no real title available?)
- A Type-Theoretical Definition of Weak {\omega}-Categories
- Basic Category Theory
- Categorical structures for type theory in univalent foundations
- Discrete Generalised Polynomial Functors
- Displayed Categories
- Finitary higher inductive types in the groupoid model
- Homotopy type theory. Univalent foundations of mathematics
- Internal type theory
- Introduction to bicategories
- Natural models of homotopy type theory
- The biequivalence of locally Cartesian closed categories and Martin-Löf type theories
- The law of excluded middle in the simplicial model of type theory
- Two-dimensional monad theory
- Univalent categories and the Rezk completion
Cited in
(11)- A Cartesian bicategory of polynomial functors in homotopy type theory
- Bicategories in univalent foundations
- scientific article; zbMATH DE number 7352262 (Why is no real title available?)
- The construction of set-truncated higher inductive types
- scientific article; zbMATH DE number 6945020 (Why is no real title available?)
- scientific article; zbMATH DE number 7774236 (Why is no real title available?)
- Semantics for two-dimensional type theory
- Bicategories in Univalent Foundations
- Degrees of bi-embeddable categoricity
- Finitary birepresentations of finitary bicategories
- The Univalence Axiom in posetal model categories
This page was built for publication: Bicategories in univalent foundations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5089004)
