Related papers: On free abelian categories for theorem proving

A differential category is an additive symmetric monoidal category, that is, a symmetric monoidal category enriched over commutative monoids, with an algebra modality, axiomatizing smooth functions, and a deriving transformation on this…

We develop a new, intrinsic, computationally friendly approach to Lie coalgebras through graph coalgebras, which are new and likely to be of independent interest. Our graph coalgebraic approach has advantages both in finding relations…

We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…

Let $\mathfrak{W}$ be the Lie algebra of vector fields on the line. Via computing extensions between all simple modules in the category $\mathcal{O}$, we give the block decomposition of $\mathcal{O}$, and show that the representation type…

Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider…

We show that for a given exact category, there exists a bijection between semibricks (pairwise Hom-orthogonal set of bricks) and length wide subcategories (exact extension-closed length abelian subcategories). In particular, we show that a…

In this paper, we introduce a cofibrant simplicial category that we call the free homotopy coherent adjunction and characterize its n-arrows using a graphical calculus that we develop here. The hom-spaces are appropriately fibrant, indeed…

By homotopy linear algebra we mean the study of linear functors between slices of the $\infty$-category of $\infty$-groupoids, subject to certain finiteness conditions. After some standard definitions and results, we assemble said slices…

We study the computational complexity of deciding whether a given set of term equalities and inequalities has a solution in an $\omega$-categorical algebra $\mathfrak{A}$. There are $\omega$-categorical groups where this problem is…

In these self-contained low prerequisite introductory notes we first present (in part 1) basic concepts of set theory and algebra without explicit category theory. We then present (in part 2) basic category theory involving a somewhat…

We develop a cohomological approach to M\"obius inversion using derived functors in the enriched categorical setting. For a poset $P$ and a closed symmetric monoidal abelian category $\mathcal{C}$, we define M\"obius cohomology as the…

This note extends Quillen's Theorem A to a large class of categories internal to topological spaces. This allows us to show that under a mild condition a fully faithful and essentially surjective functor between such topological categories…

Given an algebra A, presented by generators and relations, i.e. as a quotient of a tensor algebra by an ideal, we construct a free algebra resolution of A, i.e. a differential graded algebra which is quasi-isomorphic to A and which is…

We give a construction of triangulated categories as quotients of exact categories where the subclass of objects sent to zero is defined by a triple of functors. This includes the cases of homotopy and stable module categories. These…

Representations over diagrams of abelian categories unify quite a few notions appearing widely in literature such as representations of categories, presheaves of modules over categories, representations of species, etc. In this series of…

In this paper, we establish a theorem that proves a condition when an inclusion morphism between simplicial sets becomes a weak homotopy equivalence. Additionally, we present two applications of this result. The first application…

The purpose of this article is to prove that the category of cocommutative Hopf $K$-algebras, over a field $K$ of characteristic zero, is a semi-abelian category. Moreover, we show that this category is action representable, and that it…

We make explicit some conditions on a semi-abelian category D such that, for any abelian group A in D and any object Y in D, the cohomology group homomorphisms with coefficients in A, induced by the inclusion of the abelian objects of D at…

We give a criterion for a group homomorphism on a valued abelian group to be surjective and to preserve spherical completeness. We apply this to give a criterion for the existence of integration on a valued differential field. Further, we…

For a semisimple multiring category with left duals, we prove that the unit object is simple if and only if the tensor functors by any non-zero algebra are separable (resp. faithful, resp. Maschke, resp. dual Maschke, resp. conservative).…