Results 11 to 20 of about 7,261 (161)
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
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
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
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
Lifting accessible model structures
, 2018 A Quillen model structure is presented by an interacting pair of weak factorization systems. We prove that in the world of locally presentable categories, any weak factorization system with accessible functorial factorizations can be lifted along either ...
Garner, Richard +2 more
core +1 more source
Simplicial presheaves of coalgebras [PDF]
, 2011 The category of simplicial R-coalgebras over a presheaf of commutative unital rings on a small Grothendieck site is endowed with a left proper, simplicial, cofibrantly generated model category structure where the weak equivalences are the local weak ...
Brown +11 more
core +1 more source
On the tensor product of linear sites and Grothendieck categories
, 2017 We define a tensor product of linear sites, and a resulting tensor product of Grothendieck categories based upon their representations as categories of linear sheaves.
González, Julia Ramos +2 more
core +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
Assembly of constructible factorization algebras
Journal of Topology, Volume 19, Issue 1, March 2026.Abstract We provide a toolbox of extension, gluing, and assembly techniques for factorization algebras. Using these tools, we fill various gaps in the literature on factorization algebras on stratified manifolds, the main one being that constructible factorization algebras form a sheaf of symmetric monoidal ∞$\infty$‐categories.
Eilind Karlsson +2 more
wiley +1 more source
Strongly Complete Logics for Coalgebras [PDF]
, 2012 Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras.
Alexander Kurz, Jiri Rosicky, Yde Venema
core +3 more sources