5,904 research outputs found
The heart of a combinatorial model category
We show that every small model category that satisfies certain size
conditions can be completed to yield a combinatorial model category, and
conversely, every combinatorial model category arises in this way. We will also
see that these constructions preserve right properness and compatibility with
simplicial enrichment. Along the way, we establish some technical results on
the index of accessibility of various constructions on accessible categories,
which may be of independent interest.Comment: 44 pages, LaTeX. v4: Extended version of final journal version. (Note
that material has been significantly reorganised since v3.
Enriched weakness
The basic notions of category theory, such as limit, adjunction, and
orthogonality, all involve assertions of the existence and uniqueness of
certain arrows. Weak notions arise when one drops the uniqueness requirement
and asks only for existence. The enriched versions of the usual notions involve
certain morphisms between hom-objects being invertible; here we introduce
enriched versions of the weak notions by asking that the morphisms between
hom-objects belong to a chosen class of "surjections". We study in particular
injectivity (weak orthogonality) in the enriched context, and illustrate how it
can be used to describe homotopy coherent structures.Comment: 25 pages; v2 minor changes, to appear in JPA
Locally class-presentable and class-accessible categories
We generalize the concepts of locally presentable and accessible categories.
Our framework includes such categories as small presheaves over large
categories and ind-categories. This generalization is intended for applications
in the abstract homotopy theory
Simplicial presheaves of coalgebras
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 equivalences of the underlying simplicial presheaves. This model
category is naturally linked to the R-local homotopy theory of simplicial
presheaves and the homotopy theory of simplicial R-modules by Quillen
adjunctions. We study the comparison with the R-local homotopy category of
simplicial presheaves in the special case where R is a presheaf of
algebraically closed (or perfect) fields. If R is a presheaf of algebraically
closed fields, we show that the R-local homotopy category of simplicial
presheaves embeds fully faithfully in the homotopy category of simplicial
R-coalgebras.Comment: 24 page
Homotopy locally presentable enriched categories
We develop a homotopy theory of categories enriched in a monoidal model
category V. In particular, we deal with homotopy weighted limits and colimits,
and homotopy local presentability. The main result, which was known for
simplicially-enriched categories, links homotopy locally presentable
V-categories with combinatorial model V-categories, in the case where has all
objects of V are cofibrant.Comment: 48 pages. Significant changes in v2, especially in the last sectio
- …