21 citations · 25 across the 15 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2021★ 2 cited
Synthetic fibered -category theory
Ulrik Buchholtz, Jonathan Weinberger
We study cocartesian fibrations in the setting of the synthetic -category theory developed in the simplicial type theory introduced by Riehl and Shulman. Our developmen…
math.CT2017
Varieties of Cubical Sets
Ulrik Buchholtz, Edward Morehouse
We define a variety of notions of cubical sets, based on sites organized using substructural algebraic theories presenting PRO(P)s or Lawvere theories. We prove that all our sites…