1 citations · 2 across the 4 of their papers we have counts for
4 papers
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…
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…
Some remarks on higher Morita categories
Rune Haugseng
We take another look at the construction of double -categories of algebras and bimodules and prove a few supplemental results about these, including a simpler proof of the…
Enriched homotopy-coherent structures
Hongyi Chu, Rune Haugseng
We introduce a general notion of enrichment for homotopy-coherent algebraic structures described by Segal conditions, using the framework of "algebraic patterns" developed in our p…