activity
20162026
most citedAn equivalence between enriched -categories and -categories with weak action

2 citations · 7 across the 12 of their papers we have counts for

collaborators

12 papers

math.KT2026

A multiplicative universal property for real algebraic -theory

Hadrian Heine, Markus Spitzweck, Paula Verdugo

We prove that the real -theory functor is lax symmetric monoidal. Moreover, it is initial among those real functors that a…

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 -theory genuine -spectra of Calmès et al. for Poincaré -categories and the one of the authors of this work for Waldhausen $…

math.AT2024

A local-global principle for parametrized -categories

Hadrian Heine

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

math.AT2024

A derived Milnor-Moore theorem

Hadrian Heine

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

math.CT2024

On bi-enriched -categories

Hadrian Heine

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

math.CT2024★ 1 cited

The higher algebra of weighted colimits

Hadrian Heine

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

math.CT2023★ 1 cited

An equivalence between two models of -categories of enriched presheaves

Hadrian Heine

Let be a -operad that exhibits an -category as weakly bitensored over non-symmetric -operads $\mathcal{V},…

math.AT2020★ 2 cited

An equivalence between enriched -categories and -categories with weak action

Hadrian Heine

We show that an -category with a closed left action of a monoidal -category is completely determined by the -valued graph o…

math.AT2019★ 2 cited

Real K-theory for Waldhausen infinity categories with genuine duality

Hadrian Heine, Markus Spitzweck, Paula Verdugo

We develop a new framework to study real -theory in the context of -categories. For this, we introduce Waldhausen -categories with genuine duality, which will be…

math.CT2017

A duality between monads and monadic morphisms

Hadrian Heine

We establish a duality between monads and monadic morphisms in any -category and characterize monadic morphisms in a wide class of examples. This duality unifies severa…

math.AT2017

A topological model for cellular motivic spectra

Hadrian Heine

For any motivic -ring spectrum we construct an equivalence between the -category of cellular motivic -module spectra and modules over an $\mat…

math.KT2016★ 1 cited

Infinity categories with duality and hermitian multiplicative infinite loop space machines

Hadrian Heine, Alejo Lopez-Avila, Markus Spitzweck

We show that any preadditive infinity category with duality gives rise to a direct sum hermitian K-theory spectrum. This assignment is lax symmetric monoidal, thereby producing E-i…