Related papers: Structures on Categories of Polynomials

We give a natural-deduction-style type theory for symmetric monoidal categories whose judgmental structure directly represents morphisms with tensor products in their codomain as well as their domain. The syntax is inspired by Sweedler…

A complex $C^\bullet(C,D)(F,G)(\eta, \theta)$, generalising the Davydov-Yetter complex of a monoidal category, is constructed. Here $C,D$ are $\Bbbk$-linear (dg) monoidal categories, $F,G\colon C\to D$ are $\Bbbk$-linear (dg) strict…

It is well-known that small categories have equivalent descriptions as partial monoids. We provide a formulation of partial monoid and partial monoid homomorphism involving $s$ and $t$ instead of identities and then following a recent…

We define a local version of the extended symplectic category, the cotangent microbundle category, MiC, which turns out to be a true monoidal category. We show that a monoid in this category induces a Poisson manifold together with the…

We prove that the category of dg-coalgebras is symmetric monoidal closed and that the category of dg-algebras is enriched, tensored, cotensored and strongly monoidal over that of coalgebras. We apply this formalism to reconstruct several…

We develop a general theory of (extended) inner autoequivalences of objects of any 2-category, generalizing the theory of isotropy groups to the 2-categorical setting. We show how dense subcategories let one compute isotropy in the presence…

We define bicategories internal to 2-categories. When the ambient 2-category is symmetric monoidal categories, this provides a convenient framework for encoding the structures of a symmetric monoidal 3-category. This framework is well…

This paper concerns a stochastic construction of probabilistic coherent spaces by employing novel ingredients (i) linear exponential comonads arising properly in the measure-theory (ii) continuous orthogonality between measures and…

We construct four series of modular categories from the two-variable Kauffman polynomial, without use of the representation theory of quantum groups at roots of unity. The specializations of this polynomial corresponding to quantum groups…

Let $C$ be a $k$-coalgebra, where $k$ is a field. The category of pseudocompact left $C^*$-modules is dual to both the category of discrete right $C^*$-modules and to the category of left $C$-comodules. We obtain this way two sides of a…

We characterize double adjunctions in terms of presheaves and universal squares, and then apply these characterizations to free monads and Eilenberg--Moore objects in double categories. We improve upon our earlier result in "Monads in…

In this paper we characterize local exponential monomials and polynomials on different types of Abelian groups and we prove Montel-type theorems for these function classes.

We study the notion of the $E$-center $\mathcal{Z}_E(\mathcal{M})$ of a $(\mathcal{C}, \mathcal{D})$-biactegory (or bimodule category) $\mathcal{M}$, relative to an op-monoidal functor $E: \mathcal{C} \to \mathcal{D}$. Specializing this…

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…

This paper lays some of the foundations for working with not-necessarily-commutative bialgebras and their categories of comodules in $\infty$-categories. We prove that the categories of comodules and modules over a bialgebra always admit…

This paper is a contribution to the construction of non-semisimple modular categories. We establish when M\"uger centralizers inside non-semisimple modular categories are also modular. As a consequence, we obtain conditions under which…

The goal of this paper is to prove coherence results with respect to relational graphs for monoidal monads and comonads, i.e. monads and comonads in a monoidal category such that the endofunctor of the monad or comonad is a monoidal functor…

This preprint contains a part of the results of our earlier preprint arXiv:0907.3335v2 presented in a form suitable for journal publication. It covers a construction of a 2-fold monoidal structure on the category of tetramodules, with all…

We show that a large class of non-abelian monoidal categories can be realized as subcategories of tilting objects in abelian monoidal categories with a highest weight structure. The construction relies on a monoidal enhancement of…

We classify the polynomials with integral coefficients that, when evaluated on a group element of finite order $n$, define a unit in the integral group ring for infinitely many positive integers $n$. We show that this happens if and only if…