Results 61 to 70 of about 7,137 (147)

Elementary torsion theories and locally finitely presented categories

open access: yesJournal of Pure and Applied Algebra, 1980
Locally finitely presented Grothendieck abelian categories are shown to be just the “elementary” localizations of Module categories. All categories V are assumed to be Grothendieck abelian (e.g. see [l, 21 or [5]). 55’ is locally finifeely presented if 9? has a generating family Ce = {Gi: i E I} with each Gi a finitely presented object of %.
openaire   +2 more sources

Automated black-box boundary value detection. [PDF]

open access: yesPeerJ Comput Sci, 2023
Dobslaw F   +2 more
europepmc   +1 more source

Locally finitely presented categories and functor rings

open access: yes, 2005
There is a close relation between locally finitely presented additive categories and their associated functor rings which are rings with enough idempotents. In this paper the author discusses the structure of particular locally finitely presented additive categories like ones with products or locally coherent Grothendieck ones, etc.
Garcia, J.L.   +2 more
openaire   +3 more sources

Filtered bicolimit presentations of locally presentable linear categories, Grothendieck categories and their tensor products

open access: yesQuaestiones Mathematicae
We investigate two different ways of recovering a Grothendieck category as a filtered bicolimit of small categories and the compatibility of both with the tensor product of Grothendieck categories. Firstly, we show that any locally presentable linear category (and in particular any Grothendieck category) can be recovered as the filtered bicolimit of ...
openaire   +4 more sources

Limits in 2-Categories of Locally-Presentable Categories

open access: yes, 1984
This thesis has its origins in responding to some unpublished work of Ulmer [26], [27], [28]. There, Ulmer proves that certain constructions on locally-presentable categories yield locally-presentable categories. Let C be a small category and T a set of cones in C.
openaire   +1 more source

Home - About - Disclaimer - Privacy