Maximilien P'eroux

collaborators

6 papers

math.CT2026

Measuring data types

Lukas Mulder, Paige Randall North, Maximilien PÃ©roux

In this article, we combine Sweedler's classic theory of measuring coalgebras -- by which $k$ -algebras are enriched in $k$ -coalgebras for $k$ a field -- with the theory of W-types…

math.KT2026

Coalgebraic $K$ -theory

Teena Gerhardt, Maximilien PÃ©roux, W. Hermann B. SorÃ©

We establish comparison maps between the classical algebraic $K$ -theory of algebras over a field and its analogue $K^{c}$ , an algebraic $K$ -theory for coalgebras over a field. The co…

math.AT2026

Topological $I^ G$ homology of rings with twisted $G$ -action

Gabriel Angelini-Knoll, Mona Merling, Maximilien PÃ©roux

We construct topological $I^ G$ -homology for rings with twisted $G$ -action. Here a ring with twisted $G$ -action is a common generalization of a ring with anti-involution and a ring…

math.CT2026

Functoriality of Enriched Data Types

Lukas Mulder, Paige Randall North, Maximilien PÃ©roux

In previous work, categories of algebras of endofunctors were shown to be enriched in categories of coalgebras of the same endofunctor, and the extra structure of that enrichment w…

math.AT2025

On products of skeleta

Given a symmetric monoidal $\infty$ -category $E$ , compatible with finite colimits, we show that the functor sending a simplicial object in $E$ to its skeletal f…

math.AT2025

Equivariant algebraic $K$ -theory of symmetric monoidal Mackey functors

We provide a unifying approach to different constructions of the algebraic $K$ -theory of equivariant symmetric monoidal categories. A consequence of our work is that every connecti…