Add to ORKG• most properties of categories invariant under equivalence • we can only substitute equals for equals • in set-theoretic foundations these notions are worlds apart In this talk: Define categories in the Univalent Foundations for which all three coincid
We develop bicategory theory in univalent foundations. Guided by the notion of univalence for (1-)ca...
When are two categories the same? One possible notion of sameness is equivalence of categories: two ...
In joint work with Dominic Verity we prove that four models of (â ,1)-categories â quasi-categori...
• most properties of categories invariant under equivalence • we can only substitute equals for equa...
• most properties of categories invariant under equivalence • we can only substitute equals for equa...
• most properties of categories invariant under equivalence • we can only substitute equals for equa...
crepancy between the foundational notion of “sameness”—equality—and its categorical notion arises: m...
• is type theory with a semantics in spaces • comes with an additional axiom compared to MLTT • prov...
In this paper, we analyze and compare three of the many algebraic structuresthat have been used for ...
We develop bicategory theory in univalent foundations. Guided by the notion of univalence for (1-)ca...
The Univalence Principle is the statement that equivalent mathematical structures are indistinguisha...
is a foundational system for mathematics based on a homotopical interpre-tation of dependent type th...
International audienceIn this paper, we analyze and compare three of the many algebraic structures t...
Set-theoretic and category-theoretic foundations represent different perspectives on mathematical su...
In mathematics we enjoy different ways of comparing objects to each other. We usually use isomorphis...
We develop bicategory theory in univalent foundations. Guided by the notion of univalence for (1-)ca...
When are two categories the same? One possible notion of sameness is equivalence of categories: two ...
In joint work with Dominic Verity we prove that four models of (â ,1)-categories â quasi-categori...
• most properties of categories invariant under equivalence • we can only substitute equals for equa...
• most properties of categories invariant under equivalence • we can only substitute equals for equa...
• most properties of categories invariant under equivalence • we can only substitute equals for equa...
crepancy between the foundational notion of “sameness”—equality—and its categorical notion arises: m...
• is type theory with a semantics in spaces • comes with an additional axiom compared to MLTT • prov...
In this paper, we analyze and compare three of the many algebraic structuresthat have been used for ...
We develop bicategory theory in univalent foundations. Guided by the notion of univalence for (1-)ca...
The Univalence Principle is the statement that equivalent mathematical structures are indistinguisha...
is a foundational system for mathematics based on a homotopical interpre-tation of dependent type th...
International audienceIn this paper, we analyze and compare three of the many algebraic structures t...
Set-theoretic and category-theoretic foundations represent different perspectives on mathematical su...
In mathematics we enjoy different ways of comparing objects to each other. We usually use isomorphis...
We develop bicategory theory in univalent foundations. Guided by the notion of univalence for (1-)ca...
When are two categories the same? One possible notion of sameness is equivalence of categories: two ...
In joint work with Dominic Verity we prove that four models of (â ,1)-categories â quasi-categori...