research
∙
09/15/2023
Formalizing the ∞-categorical Yoneda lemma
The field of category theory seeks to unify and generalize concepts and ...
research
∙
05/01/2022
Internal sums for synthetic fibered (∞,1)-categories
We give structural results about bifibrations of (internal) (∞,1)-catego...
research
∙
04/02/2022
Two-sided cartesian fibrations of synthetic (∞,1)-categories
Within the framework of Riehl-Shulman's synthetic (∞,1)-category theory,...
research
∙
03/14/2022
Strict stability of extension types
We show that the extension types occurring in Riehl–Shulman's work on sy...
research
∙
02/26/2022
A Synthetic Perspective on (∞,1)-Category Theory: Fibrational and Semantic Aspects
Reasoning about weak higher categorical structures constitutes a challen...
research
∙
05/04/2021