Related papers: A pretorsion theory for the category of all catego…
We present a setting for the study of torsion theories in general categories. The idea is to associate, with any pair ($\mathcal T$, $\mathcal F$) of full replete subcategories in a category $\mathcal C$, the corresponding full subcategory…
We propose a construction of a stable category for any pretorsion theory in a lextensive category. We prove the universal property of the stable category, that extends previous results obtained for the stable category of internal preorders…
Torsion theories play an important role in abelian categories and they have been widely studied in the last sixty years. In recent years, with the introduction of pretorsion theories, the definition has been extended to general…
In this article, we present the stable category of preordered groups associated with some Z-pretorsion theory. We first define such a category as well as the related functor, and then study their properties. By doing so, we provide a…
In this paper we develop the theory of topological categories over a base category, that is, a theory of topological functors. Our notion of topological functor is similar to (but not the same) the existing notions in the literature (see…
In this paper we extend several classical results on pointed torsion theories -- also known as torsion pairs -- to the setting of non-pointed torsion theories defined via kernels and cokernels relative to a fixed class of trivial objects…
We show that in the category of preordered sets, there is a natural notion of pretorsion theory, in which the partially ordered sets are the torsion-free objects and the sets endowed with an equivalence relation are the torsion objects.…
Since their introduction, torsion theories have played a key role in the study of abelian and pointed categories. In representation theory, torsion theories and lattices of torsion classes of mod$ A$, for $A$ a finite-dimensional algebra,…
In a coherent category, the posets of subobjects have very strong properties. We emphasize the validity of these properties, in general categories, for well-behaved classes of subobjects. As an example of application, we investigate the…
We give an introduction to constructive category theory by answering two guiding computational questions. The first question is: how do we compute the set of all natural transformations between two finitely presented functors like…
Several elementary properties of the symmetric group $S_n$ extend in a nice way to the full transformation monoid $M_n$ of all maps of the set $X:=\{1,2,3,\dots,n\}$ into itself. The group $S_n$ turns out to be in some sense the torsion…
We show that differential calculus (in its usual form, or in the general form of topological differential calculus) can be fully imdedded into a functor category (functors from a small category of anchord tangent algebras to anchored sets).…
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…
We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a…
This dissertation has two main parts. The first part deals with questions relating to Haghverdi and Scott's notion of partially traced categories. The main result is a representation theorem for such categories: we prove that every…
We establish a correspondence between consistent comprehension schemes and complete orthogonal factorisation systems. The comprehensive factorisation of a functor between small categories arises in this way. Similar factorisation systems…
We define a notion on preadditive categories which plays a role similar to the notion of a Grothendieck pretopology on an unenriched category. Each such additive pretopology defines an additive Grothendieck topology and suffices to define…
Category theory has foundational importance because it provides conceptual lenses to characterize what is important in mathematics. Originally the main lenses were universal mapping properties and natural transformations. In recent decades,…
We describe a pretorsion theory in the category $Cat$ of small categories: the torsion objects are the groupoids, while the torsion-free objects are the skeletal categories, i.e., those categories in which every isomorphism is an…
We develop a general deformation theory of objects in homotopy and derived categories of DG categories. The main result is a general pro-representability theorem for the corresponding deformation functor.