Related papers: Symmetric Self-Adjunctions and Matrices

A commutative residuated lattice A is said to be subidempotent if the lower bounds of its neutral element e are idempotent (in which case they naturally constitute a Brouwerian algebra A*). It is proved here that epimorphisms are surjective…

We revisit once again the connection between three notions of computation: monads, arrows and idioms (also called applicative functors). We employ monoidal categories of finitary functors and profunctors on finite sets as models of these…

A category of Brauer diagrams, analogous to Turaev's tangle category, is introduced, and a presentation of the category is given; specifically, we prove that seven relations among its four generating homomorphisms suffice to deduce all…

The eigenvalues of a self-adjoint nxn matrix A can be put into a decreasing sequence $\lambda=(\lambda_1,...,\lambda_n)$, with repetitions according to multiplicity, and the diagonal of A is a point of $R^n$ that bears some relation to…

We define the affine Frobenius Brauer categories associated to each symmetric involutive Frobenius superalgebra $A$. We then define an action of these categories on the categories of finite-dimensional supermodules for orthosymplectic Lie…

Given a symmetric monoidal $(\infty,n)$-category $\mathcal{C}$ and a space $X$, we address the problem of explicitly describing the symmetric monoidal $(\infty,n)$-category freely obtained from $\mathcal{C}$ by adjoining $X$ new…

We exhibit the proximity frames and proximity homomorphisms as a Kleisli category of a comonad whose underlying functor takes a proximity frame to its frame of round ideals. This construction is known in the literature as {\em stable…

It is known that the Grothendieck group of the category of Schur functors is the ring of symmetric functions. This ring has a rich structure, much of which is encapsulated in the fact that it is a "plethory": a monoid in the category of…

Motivated by duality phenomena for derived global sections on derived local systems on compact oriented manifolds, we introduce the notion of a $d$-duality context between symmetric monoidal enriched categories. In this setting, the right…

We show that an adjoint of a loopless matroid is connected if and only if it itself is connected. Our first goal is to study the adjoint of modular matroids. We prove that a modular matroid has only one adjoint (up to isomorphism) which can…

We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…

We show in many cases the existence of adjoints to extension of scalars on categories of motivic nature, in the framework of field extensions. This is to be contrasted with the more classical situation where one deals with a finite type…

We show that the left and right adjoint of the Schur functor can be expressed in terms of the monoidal structure of strict polynomial functors. Using this result we give a necessary and sufficient condition for when the tensor product of…

In this paper we consider a construction in an arbitrary triangulated category T which resembles the notion of a Moore spectrum in algebraic topology. Namely, given a compact object C of T satisfying some finite tilting assumptions, we…

The monoid of multipliers of a semigroup object in a monoidal category is introduced, arising from an abstraction of the definition of the translational hull of an ordinary semigroup or of the multiplier algebra of a Banach algebra and…

The fact that the cocommutative comonoids in a symmetric monoidal category form the best possible approximation by a cartesian category is revisited when the original category is only braided monoidal. This leads to the question when the…

We define the affinization of an arbitrary monoidal category $\mathcal{C}$, corresponding to the category of $\mathcal{C}$-diagrams on the cylinder. We also give an alternative characterization in terms of adjoining dot generators to…

Given a not necessarily semisimple modular tensor category C, we use the corresponding 3d TFT defined in [arXiv:1912.02063] to explicitly describe a modular functor as a symmetric monoidal 2-functor from a 2-category of oriented bordisms to…

A criterion for M\"uger centralizer of a fusion subcategory of a braided non-degenerate fusion category is given. Along the way we extend some identities on the space of class functions of a fusion category introduced by Shimizu in…

The goal of this paper is to prove coherence results with respect to relational graphs for monoidal endofunctors, i.e. endofunctors of a monoidal category that preserve the monoidal structure up to a natural transformation that need not be…