Related papers: On Rational Pairings of Functors

Let $\mathfrak{g}$ and $\mathfrak{h}$ be two Lie algebras with $\mathfrak{h}$ finite dimensional and consider ${\mathcal A} = {\mathcal A} (\mathfrak{h}, \, \mathfrak{g})$ to be the corresponding universal algebra as introduced in…

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…

Let $A$ be a rational function. For any decomposition of $A$ into a composition of rational functions $A=U\circ V$ the rational function $\widetilde A=V\circ U$ is called an elementary transformation of $A$, and rational functions $A$ and…

Let $G$ be a group and let $E$ be a functor from small $\Z$-linear categories to spectra. Also let $A$ be a ring with a $G$-action. Under mild conditions on $E$ and $A$ one can define an equivariant homology theory of $G$-simplicial sets…

We define $A_{\infty}$-structures -- algebras, coalgebras, modules, and comodules -- in an arbitrary monoidal DG category or bicategory by rewriting their definitions in terms of unbounded twisted complexes. We develop new notions of strong…

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…

The structure of the category of matroids and strong maps is investigated: it has coproducts and equalizers, but not products or coequalizers; there are functors from the categories of graphs and vector spaces, the latter being faithful;…

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…

Let $R$ be a commutative unital ring, $\mathfrak{ a}$ an ideal of $R$ and $M$ a fixed $R$-module. We introduce and study generalisations of $\mathfrak{a}$-reduced modules, $\mathfrak{R}_{\mathfrak{ a}}$ and $\mathfrak{a}$-coreduced modules,…

Generalising the notion of Galois corings, Galois comodules were introduced as comodules $P$ over an $A$-coring $\cC$ for which $P_A$ is finitely generated and projective and the evaluation map $\mu_\cC:\Hom^\cC(P,\cC)\ot_SP\to \cC$ is an…

Many recursive functions can be defined elegantly as the unique homomorphisms, between two algebras, two coalgebras, or one each, that are induced by some universal property of a distinguished structure. Besides the well-known applications…

If T is a commutative monad on a cartesian closed category, then there exists a natural T-bilinear pairing from T(X) times the space of T(1)-valued functions on X ("integration"), as well as a natural T-bilinear action on T(X) by the space…

We systematically develop the theory of definable functors between compactly generated triangulated categories. Such functors preserve pure triangles, pure injective objects, and definable subcategories, and as such appear in a wide range…

For any algebra morphism in a monoidal category, we provide sufficient conditions (which are also necessary if the unit is a left tensor generator) for the attached induction functor being semiseparable. Under mild assumptions, we prove…

Let M be a monoidal category endowed with a distinguished class of weak equivalences and with appropriately compatible classifying bundles for monoids and comonoids. We define and study homotopy-invariant notions of normality for maps of…

Let A be an algebra with a countable basis and let B be, say, a Frechet algebra that contains A as a dense subalgebra. This embedding induces a functor from the derived category of B-modules to the derived category of A-modules. In many…

This is the second paper in a series that aims to provide mathematical descriptions of objects and constructions related to the first few steps of the semantical theory of dependent type systems. We construct for any pair $(R,LM)$, where…

We introduce the notions of a commutative square ring $R$ and of a quadratic map between modules over $R$, called $R$-quadratic map. This notion generalizes various notions of quadratic maps between algebraic objects in the literature. We…

Generalizing work by Pinzari and Roberts, we characterize actions of a compact quantum group G on C*-algebras in terms of what we call weak unitary tensor functors from Rep G into categories of C*-correspondences. We discuss the relation of…

We study polynomial comonads and polynomial bicomodules. Polynomial comonads amount to categories. Polynomial bicomodules between categories amount to parametric right adjoint functors between corresponding copresheaf categories. These may…