Results 11 to 20 of about 7,137 (147)
Localisations of locally presentable categories II
Journal of Pure and Applied Algebra, 1990 This is a continuation of Part I [ibid. 58, No.3, 227-233 (1989; Zbl 0677.18009)]. However, it does not deal with enriched categories; the authors content themselves to consider localizations E of categories \(A=Lex(C^{op},Set)\). They show how E arises as Lex Sh\({}_ J(C)\) for a Grothendieck topology on C.
Day, Brian, Street, Ross
openaire +2 more sources
Homotopy theory of Moore flows (II)
Extracta Mathematicae, 2021 This paper proves that the q-model structures of Moore flows and of multipointed d-spaces are Quillen equivalent. The main step is the proof that the counit and unit maps of the Quillen adjunction are isomorphisms on the q-cofibrant objects (all objects ...
Philippe Gaucher
doaj
n-permutable locally finitely presentable categories
Theory and Applications of Categories, 2001 \(n\)-permutable locally finitely presentable categories are characterized in terms of properties of their finitely presentable objects. As a consequence, they get a similar characterization of regular Maltsev locally finitely presentable categories.
PEDICCHIO, MARIA CRISTINA, M. GRAN
openaire +3 more sources
Two isomorphism criteria for directed colimits [PDF]
, 2013 Using the general notions of finitely presentable and finitely generated object introduced by Gabriel and Ulmer in 1971, we prove that, in any (locally small) category, two sequences of finitely presentable objects and morphisms (or two sequences of ...
Marra, Vincenzo, Spada, Luca
core +2 more sources
Localisation of locally presentable categories
Journal of Pure and Applied Algebra, 1989 The localisations of locally finitely presentable categories are characterised in the context of enriched categories in terms of completeness, smallness and limit-colimit commutativity. More precisely: The authors consider categories enriched in a locally finitely presentable closed category V and show that a V-category E is a localisation of a locally
Day, Brian, Street, Ross
openaire +2 more sources
A representability theorem for some huge abelian categories
, 2012 We define quasi--locally presentable categories as big unions of coreflective subcategories which are locally presentable. Under appropriate hypotheses we prove a representability theorem for exact contravariant functors defined on a quasi--locally ...
Modoi, George Ciprian
core +1 more source
Semantics of higher inductive types
, 2019 Higher inductive types are a class of type-forming rules, introduced to provide basic (and not-so-basic) homotopy-theoretic constructions in a type-theoretic style.
Lumsdaine, Peter LeFanu, Shulman, Mike
core +1 more source
Completeness and Cocompleteness Transfer for Internal Group Objects with Geometric Obstructions
MathematicsThis work establishes definitive conditions for the inheritance of categorical completeness and cocompleteness by categories of internal group objects.
Jian-Gang Tang +4 more
doaj +1 more source
An embedding theorem for regular Mal'tsev categories
, 2017 In this paper, we obtain a non-abelian analogue of Lubkin's embedding theorem for abelian categories. Our theorem faithfully embeds any small regular Mal'tsev category $\mathbb{C}$ in an $n$-th power of a particular locally finitely presentable regular ...
Jacqmin, Pierre-Alain
core +1 more source
Completeness and Hereditary Transfer of Exactness Properties for Internal Group Objects in D-Modules
MathematicsThis paper establishes a comprehensive framework for the hereditary transfer of categorical completeness and cocompleteness to categories of internal group objects in D-modules.
Jian-Gang Tang +5 more
doaj +1 more source