1 citations · 1 across the 2 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2022★ 1 cited
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…
math.CT2019
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…