On synthetic -category theory via simplicial type theory:
Ulrik Buchholtz, Jonathan Weinberger, Synthetic fibered -category theory arXiv:2105.01724, talk slides
Jonathan Weinberger, A Synthetic Perspective on -Category Theory: Fibrational and Semantic Aspects arXiv:2202.13132
Jonathan Weinberger, Strict stability of extension types arXiv:2203.07194
Jonathan Weinberger, Two-sided cartesian fibrations of synthetic -categories arXiv:2204.00938
Jonathan Weinberger, Internal sums for synthetic fibered -categories arXiv:2205.00386
Created on June 21, 2022 at 01:15:17. See the history of this page for a list of all contributions to it.