Related papers: On Bialgebras, Comodules, Descent Data and Thom Sp…
We develop a theory of R-module Thom spectra for a commutative symmetric ring spectrum R and we analyze their multiplicative properties. As an interesting source of examples, we show that R-algebra Thom spectra associated to the special…
We found a necessary and sufficient condition for the existence of the tensor product of modules over a vertex algebra. We defined the notion of vertex bilinear map and we provide two algebraic construction of the tensor product, where one…
A bialgebra is a structure which is simultaneously an algebra and a coalgebra, such that the algebraic and coalgebraic parts are "compatible". Bialgebras are normally studied over a field or commutative ring. In this paper, we show how to…
In this chapter we survey some particular topics in category theory in a somewhat unconventional manner. Our main focus will be on monoidal categories, mostly symmetric ones, for which we propose a physical interpretation. These are…
In this survey paper on commutative ring spectra we present some basic features of commutative ring spectra and discuss model category structures. As a first interesting class of examples of such ring spectra we focus on (commutative)…
B\"ohm and \c{S}tefan have expressed cyclic homology as an invariant that assigns homology groups $\mathrm{HC}^\chi_i(\mathrm N, \mathrm M)$ to right and left coalgebras $\mathrm N$ respectively $\mathrm M$ over a distributive law $\chi$…
Modern categories of spectra such as that of Elmendorf et al equipped with strictly symmetric monoidal smash products allows the introduction of symmetric monoids providing a new way to study highly coherent commutative ring spectra. These…
We investigate to what extent we can descend the classification of localizing, smashing and thick ideals in a presentably symmetric monoidal stable $\infty$-category $\mathscr{C}$ along a descendable commutative algebra $A$. We establish…
We apply the Acyclicity Theorem of Hess, Kerdziorek, Riehl, and Shipley (recently corrected by Garner, Kedziorek, and Riehl) to establishing the existence of model category structure on categories of coalgebras over comonads arising from…
We show that algebra objects in model categories can be transferred to algebra objects in $\infty$-categories, without any cofibrancy or fibrancy assumptions on the algebra. We furthermore show under some mild extra assumptions that this…
Associated to a presentable $\infty$-category $\mathcal{C}$ and an object $X \in \mathcal{C}$ is the tangent $\infty$-category $\mathcal{T}_X\mathcal{C}$, consisting of parameterized spectrum objects over $X$. This gives rise to a…
Game comonads provide a categorical syntax-free approach to finite model theory, and their Eilenberg-Moore coalgebras typically encode important combinatorial parameters of structures. In this paper, we develop a framework whereby the…
We compute the Balmer spectrum of a certain tensor triangulated category of comodules over the mod 2 dual Steenrod algebra. This computation effectively classifies the thick subcategories, resolving a conjecture of Palmieri.
A first goal of this paper is to precisely relate the homotopy theories of bialgebras and $E_2$-algebras. For this, we construct a conservative and fully faithful $\infty$-functor from pointed conilpotent homotopy bialgebras to augmented…
We define a cobordism category of topological manifolds and prove that if $d \neq 4$ its classifying space is weakly equivalent to $\Omega^{\infty -1} MTTop(d)$, where $MTTop(d)$ is the Thom spectrum of the inverse of the canonical bundle…
Let M be a monoidal category endowed with a distinguished class of weak equivalences and with appropriately compatible classifying bundles for monoids and comonoids. We define and study homotopy-invariant notions of normality for maps of…
In this paper, we use the language of monads, comonads and Eilenberg-Moore categories to describe a categorical framework for $A_\infty$-algebras and $A_\infty$-coalgebras, as well as $A_\infty$-modules and $A_\infty$-comodules over them…
An extension $B\subset A$ of finite dimensional algebras is bounded if the $B$-$B$-bimodule $A/B$ is $B$-tensor nilpotent, its projective dimension is finite and $\mathrm{Tor}_i^B(A/B, (A/B)^{\otimes_B j})=0$ for all $i, j\geq 1$. We show…
The data for many useful bidirectional constructions in applied category theory (optics, learners, games, quantum combs) can be expressed in terms of diagrams containing "holes" or "incomplete parts", sometimes known as comb diagrams. We…
Classically, there are two model category structures on coalgebras in the category of chain complexes over a field. In one, the weak equivalences are maps which induce an isomorphism on homology. In the other, the weak equivalences are maps…