Related papers: Lifting Coalgebra Modalities and $\mathsf{MELL}$ M…
For a small quantaloid $\mathcal{Q}$, we introduce $\mathcal{M}$-(co)complete $\mathcal{Q}$-categories, i.e., (co)complete $\mathcal{Q}$-categories up to Morita equivalence, as Eilenberg--Moore algebras of the presheaf monad on the category…
We define two-cocycles and cleft extensions in categories that are not necessarily braided, but where specific objects braid from one direction, like for a Hopf algebra $H$ a Yetter-Drinfeld module braids from the left with $H$-modules. We…
We consider Frobenius algebras in the monoidal category of right comodules over a Hopf algebra $H$. If $H$ is a group Hopf algebra, we study a more general Frobenius type property and uncover the structure of graded Frobenius algebras.…
In this paper, we introduce the category of brace triples in a braided monoidal setting and prove that it is isomorphic to the category of s-Hopf braces, which are a generalization of cocommutative Hopf braces. After that, we obtain a…
We develop the formal theory of monads, as established by Street, in univalent foundations. This allows us to formally reason about various kinds of monads on the right level of abstraction. In particular, we define the bicategory of monads…
We associate two linear categories with two objects to a module over the subalgebra of coinvariants of a Hopf-Galois extension, and prove that they are isomorphic. The structure Theorem for cleft extensions, and the Militaru \cStefan…
We introduce the notion of `bar category' by which we mean a monoidal category equipped with additional structure formalising the notion of complex conjugation. Examples of our theory include bimodules over a $*$-algebra, modules over a…
We exhibit the cartesian differential categories of Blute, Cockett and Seely as a particular kind of enriched category. The base for the enrichment is the category of commutative monoids -- or in a straightforward generalisation, the…
Differential categories were introduced to provide a minimal categorical doctrine for differential linear logic. Here we revisit the formalism and, in particular, examine the two different approaches to defining differentiation which were…
We compare several recent approaches to studying right Bousfield localization and algebras over monads. We prove these approaches are equivalent, and we apply this equivalence to obtain several new results regarding right Bousfield…
Based on the logarithmic algebraic geometry and the theory of Deligne systems, we define an abelian category of $\ell$-adic sheaves with weight filtrations on a logarithmic scheme over a finite field, which is similar to the category of…
Categories, n-categories, double categories, and multicategories (among others) all have similar definitions as collections of cells with composition operations. We give an explicit description of the information required to define any…
Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of…
Liftable pairs of adjoint functors between braided monoidal categories in the sense of \cite{GV-OnTheDuality} provide auto-adjunctions between the associated categories of bialgebras. Motivated by finding interesting examples of such pairs,…
The notion of multiplier Hopf monoid in any braided monoidal category is introduced as a multiplier bimonoid whose constituent fusion morphisms are isomorphisms. In the category of vector spaces over the complex numbers, Van Daele's…
E. Sk\"oldberg's Morse Theory from an Algebraic Viewpoint and M. J\"ollenbeck's Algebraic Discrete Morse Theory and Applications to Commutative Algebra, which is the algebraic generalization of R. Forman's discrete Morse Theory for Cell…
We explain two related constructions on the data of two monoidal symmetric closed categories $\mathscr{A}$ and $\mathscr{E}$ and monoidal functors $F: \mathscr{E}\to \mathscr{A}$ and $G: \mathscr{A}\to \mathscr{E}$. In a first part, we…
Following the theory of principal $\infty$-bundles of Niklaus-Schreiber-Steveson, we develop a homotopy categorification of Hopf algebras, which model quantum groups. We study their higher-representation theory in the setting of…
We analyse compatibility between monads and monoidal structures in the two-dimensional setting. We describe sufficient conditions for monoidal structures to lift to the Eilenberg-Moore pseudoalgebras. We then extend these results to braids,…
Using the language of enriched $\infty$-categories, we formalize and generalize the definition of fusion n-category, and an analogue of iterative condensation of $E_i$-algebras. The former was introduced by Johnson-Freyd, and the latter by…