Related papers: Symmetric Self-Adjunctions and Matrices
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…
We determine when an antiinvolution on an adjoint semisimple linear algebraic group extends to an antiinvolution on a $J$-irreducible monoid. Using this information, we study a special class of compactifications of symmetric varieties.…
We provide a criterion for the existence of right approximations in cocomplete additive categories; it is a straightforward generalisation of a result due to El Bashir. This criterion is used to construct adjoint functors in homotopy…
We introduce a new family of monoidal categories which are cyclotomic quotients of the nil-Brauer category. We construct a monoidal functor from the cyclotomic nil-Brauer category to another monoidal category constructed from singular…
A new calculus of planar diagrams involving diagrammatics for biadjoint functors and degenerate affine Hecke algebras is introduced. The calculus leads to an additive monoidal category whose Grothendieck ring contains an integral form of…
An associative central simple algebra is a form of matrices, because a maximal \'{e}tale subalgebra acts on the algebra faithfully by left and right multiplication. In an attempt to extract and isolate the full potential of this point of…
The question "What is category theory" is approached by focusing on universal mapping properties and adjoint functors. Category theory organizes mathematics using morphisms that transmit structure and determination. Structures of…
In this article a family of recursive and self-similar matrices is constructed. It is shown that the Pl\"ucker matrix of the Isotropic Grassmannian variety is a direct sum of this class of matrices.
Given a pair of adjoint functors between two arbitrary categories it induces mutually inverse equivalences between the full subcategories of the initial ones, consisting of objects for which the arrows of adjunction are isomorphisms. We…
In this note, firstly we give an easy proof of the factorization of symmetric matrices (see [Mos] math-ph/0203023), then we use it to prove the well-known fact that the automorphism group of a non-degenerate symmetric bilinear form acts…
Let $ V$ be a braided tensor category and $ C$ a tensor category equipped with a braided tensor functor $G:V\to Z(C)$. For any exact indecomposable $C$-module category $M$, we explicitly construct a right adjoint of the action functor…
This chapter describes interrelations between: (1) algebraic structure on sets of scalars, (2) properties of monads associated with such sets of scalars, and (3) structure in categories (esp. Lawvere theories) associated with these monads.…
We formalize the concept of a centralizer-respecting homomorphism, surjective homomorphisms which are equivariant with respect to taking the centralizer of a subgroup. There is a functor from the category of centralizer-respecting…
We prove that for a large class of well-behaved cocomplete categories $\mathcal C$ the weak and strong Drinfeld centers of the monoidal category $\mathcal{E}$ of cocontinuous endofunctors of $\mathcal{C}$ coincide. This generalizes similar…
We study two new families of symmetric functions arising from a species-theoretic construction motivated by cycle structure. For each partition of $n$, we define two combinatorial species that decompose into molecules indexed by the same…
This paper concerns spherical adjunctions of stable $\infty$-categories and their relation to monadic adjunctions. We begin with a proof of the 2/4 property of spherical adjunctions in the setting of stable $\infty$-categories. The proof is…
There is some consensus among orthodox category theorists that the concept of adjoint functors is the most important concept contributed to mathematics by category theory. We give a heterodox treatment of adjoints using heteromorphisms…
We construct an exact tensor functor from the category $\mathcal{A}$ of finite-dimensional graded modules over the quiver Hecke algebra of type $A_\infty$ to the category $\mathscr C_{B^{(1)}_n}$ of finite-dimensional integrable modules…
We investigate self-adjoint matrices $A\in\mathbb{R}^{n,n}$ with respect to their equivariance properties. We show in particular that a matrix is self-adjoint if and only if it is equivariant with respect to the action of a group…
The theory of monads on categories equipped with a dagger (a contravariant identity-on-objects involutive endofunctor) works best when everything respects the dagger: the monad and adjunctions should preserve the dagger, and the monad and…