Related papers: A note on unitizations of generalized effect algeb…
We apply the notion of relative adjoint functor to generalise closed monoidal categories. We define representations in such categories and give their relation with left actions of monoids. The translation of these representations under lax…
For an associative ring $R$, let $P$ be an $R$-module with $S=\End_R(P)$. C.\ Menini and A. Orsatti posed the question of when the related functor $\Hom_R(P,-)$ (with left adjoint $P\ot_S-$) induces an equivalence between a subcategory of…
We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…
Hopf algebras are closely related to monoidal categories. More precise, $k$-Hopf algebras can be characterized as those algebras whose category of finite dimensional representations is an autonomous monoidal category such that the forgetful…
Category theory has foundational importance because it provides conceptual lenses to characterize what is important in mathematics. Originally the main lenses were universal mapping properties and natural transformations. In recent decades,…
Adjoint functors and projectivization in representation theory of partially ordered sets are used to generalize the algorithms of differentiation by a maximal and by a minimal point. Conceptual explanations are given for the combinatorial…
For a small involutive quantaloid $\mathcal{Q}$, it is shown that the category of separated complete $\mathcal{Q}$-categories and left adjoint $\mathcal{Q}$-functors is strictly monadic over the category of symmetric…
Fix a commutative monoid $(T,+,0)$, a commutative monoid $(\Gamma,+,0_\Gamma)$, and a map \[ (a,\alpha,b,\beta,c)\longmapsto a\,\alpha\,b\,\beta\,c\in T \] which is additive in each variable and associative in the ternary sense. A left…
Via the adjunction $ - \boldsymbol{\cdot} 1 \dashv \mathcal V(1,-) \colon \mathsf{Span}(\mathcal V) \to \mathcal V \text{-} \mathsf{Mat} $ and a cartesian monad $ T $ on an extensive category $ \mathcal V $ with finite limits, we construct…
An important result in quasi-category theory due to Lurie is the that cocartesian fibrations are exponentiable, in the sense that pullback along a cocartesian fibration admits a right Quillen right adjoint that moreover preserves cartesian…
The Eilenberg-Moore constructions and a Beck-type theorem for pairs of monads are described. More specifically, a notion of a {\em Morita context} comprising of two monads, two bialgebra functors and two connecting maps is introduced. It is…
Associated to a simple root of a finite-dimensional complex semisimple Lie algebra, there are several endofunctors (defined by Arkhipov, Enright, Frenkel, Irving, Jantzen, Joseph, Mathieu, Vogan and Zuckerman) on the BGG category…
The real unit interval is the fundamental building block for many branches of mathematics like probability theory, measure theory, convex sets and homotopy theory. However, a priori the unit interval could be considered an arbitrary choice…
We construct an adjunction between $m$-categories internal to $(\infty,n)$-categories, called $(n,m)$-double $\infty$-categories, and filtrations $A_0\to \dots\to A_m$ where for all $i<m$, $A_i$ is a $(n+i)$-category. We show that this…
The notion of left (resp. right) regular object of a tensor C*-category equipped with a faithful tensor functor into the category of Hilbert spaces is introduced. If such a category has a left (resp. right) regular object, it can be…
We establish a Galois connection between sub-monads of an augmented monad and sub-functors of the forgetful functor from its Eilenberg-Moore category. This connection is given in terms of invariants and stabilizers defined through universal…
A pair of adjoint functors $(F,G)$ is called a Frobenius pair of the second type if $G$ is a left adjoint of $\beta F\alpha$ for some category equivalences $\alpha$ and $\beta$. Frobenius ring extensions of the second kind provide examples…
We show that the finite part of the adjoint $L$ function (including contributions from all nonarchimedean places, including ramified places) is holomorphic in $\Re(s) \ge 1/2$ for a cuspidal automorphic representation of $GL_3$ over a…
Over a field of characteristic zero, we show that the forgetful functor from the homotopy category of commutative dg algebras to the homotopy category of dg associative algebras is faithful. In fact, the induced map of derived mapping…
Monads are a useful tool for structuring effectful features of computation such as state, non-determinism, and continuations. In the last decade, several generalisations of monads have been suggested which provide a more fine-grained model…