Search Results - "Haugseng, Rune"

Operads via symmetric sequences by Haugseng, Rune

“…We construct a generalization of the Day convolution tensor product of presheaves that works for certain double ∞ -categories. Using this construction, we…”
Get full text

On the equivalence between \Theta_{n}-spaces and iterated Segal spaces by HAUGSENG, RUNE

“…We give a new proof of the equivalence between two of the main models for (\infty ,n)-categories, namely the n-fold Segal spaces of Barwick and the \mathbf…”
Get full text

Two-variable fibrations, factorisation systems and $\infty $ -categories of spans by Haugseng, Rune, Hebestreit, Fabian, Linskens, Sil, Nuiten, Joost

“…We prove a universal property for $\infty $ -categories of spans in the generality of Barwick’s adequate triples, explicitly describe the cocartesian fibration…”
Get full text

Iterated spans and classical topological field theories by Haugseng, Rune

“…We construct higher categories of iterated spans, possibly equipped with extra structure in the form of higher-categorical local systems, and classify their…”
Get full text

Enriched ∞-categories via non-symmetric ∞-operads by Gepner, David, Haugseng, Rune

“…We set up a general theory of weak or homotopy-coherent enrichment in an arbitrary monoidal ∞-category. Our theory of enriched ∞-categories has many desirable…”
Get full text

infty $$-Operads via symmetric sequences by Haugseng, Rune

“…We construct a generalization of the Day convolution tensor product of presheaves that works for certain double $$\infty $$ ∞ -categories. Using this…”
Get full text

On (co)ends in ∞-categories by Haugseng, Rune

“…In this short note we prove that two definitions of (co)ends in ∞-categories, via twisted arrow ∞-categories and via ∞-categories of simplices, are equivalent…”
Get full text

Homotopy-coherent algebra via Segal conditions by Chu, Hongyi, Haugseng, Rune

“…Many homotopy-coherent algebraic structures can be described by Segal-type limit conditions determined by an “algebraic pattern”, by which we mean an…”
Get full text

Rectification of enriched ∞–categories by Haugseng, Rune

Get full text

infty$-operads as symmetric monoidal $\infty$-categories by Haugseng, Rune, Kock, Joachim

Get full text

Linear Batalin–Vilkovisky quantization as a functor of ∞-categories by Gwilliam, Owen, Haugseng, Rune

“…We study linear Batalin–Vilkovisky (BV) quantization, which is a derived and shifted version of the Weyl quantization of symplectic vector spaces. Using a…”
Get full text

Free algebras through Day convolution by Chu, Hongyi, Haugseng, Rune

Get full text

Operads as Analytic Monads by Gepner, David, Haugseng, Rune, Kock, Joachim

“…We develop an $\infty $-categorical version of the classical theory of polynomial and analytic functors, initial algebras, and free monads. Using this…”
Get full text

Lax monoidal adjunctions, two‐variable fibrations and the calculus of mates by Haugseng, Rune, Hebestreit, Fabian, Linskens, Sil, Nuiten, Joost

“…We provide a calculus of mates for functors to the ‐category of ‐categories and extend Lurie's unstraightening equivalences to show that (op)lax natural…”
Get full text

Two models for the homotopy theory of ∞‐operads by Chu, Hongyi, Haugseng, Rune, Heuts, Gijs

“…We compare two models for ∞‐operads: the complete Segal operads of Barwick and the complete dendroidal Segal spaces of Cisinski and Moerdijk. Combining this…”
Get full text

Linear Batalin–Vilkovisky quantization as a functor of $$\infty $$ ∞ -categories by Gwilliam, Owen, Haugseng, Rune

Get full text

Two-variable fibrations, factorisation systems and -categories of spans by Haugseng, Rune, Hebestreit, Fabian, Linskens, Sil, Nuiten, Joost

“…We prove a universal property for $\infty $ -categories of spans in the generality of Barwick’s adequate triples, explicitly describe the cocartesian fibration…”
Get full text

On a spectral sequence for the cohomology of infinite loop spaces by Haugseng, Rune, Miller, Haynes

Get full text

Higher categories by Haugseng, Rune

“…Invited contribution to the Encyclopedia of Mathematical Physics. We give an introduction to the homotopical theory of higher categories, focused on motivating…”
Get full text

On the tensor product of enriched $\infty$-categories by Haugseng, Rune

“…We show that the tensor product of $\infty$-categories enriched in a suitable monoidal $\infty$-category preserves colimits in each variable, fixing a mistake…”
Get full text