Hadrian Heine

collaborators

5 papers

math.KT2024

An equivalence between two frameworks for real algebraic K-theory

Hadrian Heine, Markus Spitzweck, Paula Verdugo

We prove an equivalence between the real $K$ -theory genuine $C_{2}$ -spectra of Calmès et al. for Poincaré $\infty$ -categories and the one of the authors of this work for Waldhausen $…

math.AT2024

A local-global principle for parametrized $\infty$ -categories

Hadrian Heine

We prove a local-global principle for $\infty$ -categories over any base $\infty$ -category $C$ : we show that any $\infty$ -category $B \to C$ over $\mat…

math.AT2024

A derived Milnor-Moore theorem

Hadrian Heine

For every stable presentably symmetric monoidal $\infty$ -category $C$ we use the Koszul duality between the spectral Lie operad and the cocommutative cooperad to construc…

math.CT2024

On bi-enriched $\infty$ -categories

Hadrian Heine

We extend Lurie's definition of enriched $\infty$ -categories to notions of left enriched, right enriched and bienriched $\infty$ -categories, which generalize the concepts of closed…

math.CT2024

The higher algebra of weighted colimits

Hadrian Heine

We develop a theory of weighted colimits in the framework of weakly bienriched $\infty$ -categories, an extension of Lurie's notion of enriched $\infty$ -categories. We prove an exis…

An equivalence between two frameworks for real algebraic K-theory

A local-global principle for parametrized ∞-categories

A derived Milnor-Moore theorem

On bi-enriched ∞-categories

The higher algebra of weighted colimits

A local-global principle for parametrized $\infty$ -categories

On bi-enriched $\infty$ -categories