7 papers
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…
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…
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…
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…
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…
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…