Results 21 to 30 of about 7,137 (147)
Flow does not model flows up to weak dihomotopy
, 2005 We prove that the category of flows cannot be the underlying category of a model category whose corresponding homotopy types are the flows up to weak dihomotopy. Some hints are given to overcome this problem.
Gaucher, Philippe
core +2 more sources
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
Localizations of locally presentable categories and exact topologies
Journal of Pure and Applied Algebra, 1990 If A is a locally finitely presentable category, then A is equivalent to Lex \({\mathcal C}\), the category of left exact contravariant functors on the category \({\mathcal C}\) of all finitely presentable objects. This embeds A as an reflective subcategory of the topos, \(Sets^{{\mathcal C}^{op}}\), of presheaves on C. Any localization \({\mathcal L}\)
Pedicchio, M.Cristina, Tholen, Walter
openaire +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
A convenient category for directed homotopy [PDF]
, 2007 We propose a convenient category for directed homotopy consisting of preordered topological spaces generated by cubes. Its main advantage is that, like the category of topological spaces generated by simplices suggested by J. H.
Fajstrup, L., Rosicky, J.
core +5 more sources
On projectivity in locally presentable categories
Journal of Algebra, 2004 The paper is devoted to some generalizations of projectivity classes, weakly coreflexive categories and cotorsion theories from the category of \(R\)-modules to arbitrary locally presentable categories. If \(\mathcal K\) is a finitely presented category and \(\mathcal A\) is a weakly coreflexive full subcategory of \(\mathcal K\) which is closed under ...
openaire +2 more sources
Left Determined Model Structures for Locally Presentable Categories [PDF]
Applied Categorical Structures, 2009 39 pages, LaTeX amsart documentclass, uses amssymb, amsrefs, xy-pic. To appear in Applied Categorical Structures.
openaire +2 more sources
Injective and Projective Model Structures on Enriched Diagram Categories
, 2018 In the enriched setting, the notions of injective and projective model structures on a category of enriched diagrams also make sense. In this paper, we prove the existence of these model structures on enriched diagram categories under local ...
Moser, Lyne
core +1 more source
Syntactic characterizations of various classes of locally presentable categories
Journal of Pure and Applied Algebra, 2001 The word `syntactic' in the title of this paper is to be understood in the context of the `Gabriel-Ulmer duality' between small finitely complete categories and locally finitely presentable categories: an example of the former being thought of as the `invariant form' of the (essentially algebraic) theory whose category of models is the corresponding ...
PEDICCHIO, MARIA CRISTINA +2 more
openaire +4 more sources
The orthogonal subcategory problem in homotopy theory [PDF]
, 2005 It is known that, in a locally presentable category, localization exists with respect to every set of morphisms, while the statement that localization with respect to every (possibly proper) class of morphisms exists in locally presentable categories is ...
Casacuberta i Vergés, Carles +2 more
core