1 citations · 1 across the 2 of their papers we have counts for
4 papers
The -category of -categories in simplicial type theory
Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz
Simplicial type theory (STT) was introduced by Riehl and Shulman to leverage homotopy type theory to prove results about -categories. Initial work on simplicial type th…
The Yoneda embedding in simplicial type theory
Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz
Riehl and Shulman introduced simplicial type theory (STT), a variant of homotopy type theory which aimed to study not just homotopy theory, but its fusion with category theory: $(\…
A Synthetic Perspective on -Category Theory: Fibrational and Semantic Aspects
Jonathan Weinberger
Reasoning about weak higher categorical structures constitutes a challenging task, even to the experts. One principal reason is that the language of set theory is not invariant und…
Simplicial sets inside cubical sets
Thomas Streicher, Jonathan Weinberger
As observed recently by various people the topos of simplicial sets appears as essential subtopos of a topos of cubical sets, namely presheaves over…