2 citations · 3 across the 3 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.CT2022★ 2 cited
On the -topos semantics of homotopy type theory
Emily Riehl
Many introductions to homotopy type theory and the univalence axiom gloss over the semantics of this new formal system in traditional set-based foundations. This expository article…
math.DG2022
Explicit String bundles
David Michael Roberts
While higher bundles are of clear relevance to higher gauge theory, examples other than abelian bundle gerbes are hard to come across. One would in particular like to see 2-bundles…