113 citations · 354 across the 32 of their papers we have counts for
Showing 2024 · math.CTShow all
3 papers · 2 filters
math.CT2024★ 1 cited
Straightening for lax transformations and adjunctions of -categories
Fernando Abellán, Andrea Gagna, Rune Haugseng
We prove an unstraightening result for lax transformations between functors from an arbitrary -category to that of -categories. We apply this to study parti…
math.CT2024
Homotopical commutative rings and bispans
Bastiaan Cnossen, Rune Haugseng, Tobias Lenz +1
We prove that commutative semirings in a cartesian closed presentable -category, as defined by Groth, Gepner, and Nikolaus, are equivalent to product-preserving functors fr…
math.CT2024
Higher categories
Rune Haugseng
Invited contribution to the Encyclopedia of Mathematical Physics. We give an introduction to the homotopical theory of higher categories, focused on motivating the definitions of t…