Related papers: From Abelianization to Tangent Categories
The paper glosses different forms of an introducing of higher order tangent-like functors, especially functors derived from higher order nonholonomic tangent functors. A special attention is devoted to higher order osculating bundles: their…
Category theory provides a means through which many far-ranging fields of mathematics can be related by their similar structure. In a paper by Robinson [2], this interconnectivity afforded by categorical perspectives allowed for the…
We construct an "almost involution" assigning a new DG-category to a given one, and use this construction to recover, say, the abelian category of graded modules over the graded ring $R^*$ from the DG-category of DG-modules over a DG-ring…
We provide a categorical proof of convergence for martingales and backward martingales in mean, using enriched category theory. The enrichment we use is in topological spaces, with their canonical closed monoidal structure, which encodes a…
In this paper we call generalized lax epimorphism a functor defined on a ring with several objects, with values in an abelian AB5 category, for which the associated restriction functor is fully faithful. We characterize such a functor with…
We show that direct summands of certain additive functors arising as bifunctors with a fixed argument in an abelian category are again of that form whenever the fixed argument has finite length or, more generally, satisfies the descending…
A quandle is an algebraic system originated in knot theory, and can be regarded as a generalization of symmetric spaces. The inner automorphism group of a quandle is defined as the group generated by the point symmetries (right…
We investigate the stabilization $\mathcal{S}$ of the module category over an artinian ring $\Lambda$ by formally inverting the tensor endofunctor given by the bimodule of relative noncommutative differential $1$-forms. It turns out that…
Making use of Freyd's free abelian category on a preadditive category we show that if $T:D\rightarrow \mathcal{A}$ is a representation of a quiver $D$ in an abelian category $\mathcal{A}$ then there is an abelian category $\mathcal{A} (T)$,…
For a triangulated category T, if C is a cluster-tilting subcategory of T, then the quotient category T\C is an abelian category. Under certain conditions, the converse also holds. This is an very important result of cluster-tilting theory,…
This paper lays the groundwork for the theory of categorical diagonalization. Given a diagonalizable operator, tools in linear algebra (such as Lagrange interpolation) allow one to construct a collection of idempotents which project to each…
Additive categories play a fundamental role in mathematics and related disciplines. Given an additive category equipped with a biadditive functor, one can construct its category of extensions, which encodes important structural information.…
We consider several types of non-existence theorems for functors. For example, there are no nontrivial functors from the category of groups (or the category of pointed sets, or vector spaces) to any small category. Another type of questions…
We establish a correspondence between modules and spans of algebras within a general monoidal 2-category $\mathfrak{C}$. Specifically, for an algebra $A$ in $\mathfrak{C}$, we construct a normalized lax 3-functor from the 2-category of…
We show how the tangent functor extends from ordinary smooth maps to "microformal morphisms" (also called "thick morphisms") of supermanifolds. Microformal morphisms generalize ordinary maps and correspond to formal canonical relations…
We provide conditions for a category with a fiber functor to be equivalent to the category of representations of a linear differential algebraic group. This generalizes the notion of a neutral Tannakian category used to characterize the…
A symmetric monoidal category naturally arises as the mathematical structure that organizes physical systems, processes, and composition thereof, both sequentially and in parallel. This structure admits a purely graphical calculus. This…
Let $\mathcal{A}$ and $\mathcal{B}$ be subcategories of tensor categories $\mathcal{C}$ and $\mathcal{D}$, respectively, both of which are abelian categories with finitely many isomorphism classes of simple objects. We prove that if their…
Presentations of categories are a well-known algebraic tool to provide descriptions of categories by means of generators, for objects and morphisms, and relations on morphisms. We generalize here this notion, in order to consider situations…
We focus on working on incidence rings, a class of (possibly infinite) matrix rings indexed by ordered sets. Some general properties about them are given, including how they are always the inverse limit of finite matrix rings, giving a…