Bicategories in univalent foundations
From MaRDI portal
Publication:5089004
DOI10.4230/LIPICS.FSCD.2019.5MaRDI QIDQ5089004FDOQ5089004
Authors: Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niels van der Weide 
Publication date: 18 July 2022
Full work available at URL: https://arxiv.org/abs/1903.01152
Recommendations
Cites Work
- Title not available (Why is that?)
- Introduction to bicategories
- Two-dimensional monad theory
- Title not available (Why is that?)
- Homotopy type theory. Univalent foundations of mathematics
- Internal type theory
- Basic Category Theory
- The law of excluded middle in the simplicial model of type theory
- Univalent categories and the Rezk completion
- A Type-Theoretical Definition of Weak {\omega}-Categories
- Discrete Generalised Polynomial Functors
- Finitary higher inductive types in the groupoid model
- Natural models of homotopy type theory
- The biequivalence of locally Cartesian closed categories and Martin-Löf type theories
- Categorical structures for type theory in univalent foundations
- Displayed Categories
Cited In (10)
- A Cartesian bicategory of polynomial functors in homotopy type theory
- Bicategories in univalent foundations
- Title not available (Why is that?)
- The construction of set-truncated higher inductive types
- Title not available (Why is that?)
- Title not available (Why is that?)
- Semantics for two-dimensional type theory
- 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)
