• Corpus ID: 5085582

About left determined model categories

@article{Gaucher2015AboutLD,
  title={About left determined model categories},
  author={Philippe Gaucher},
  journal={arXiv: Category Theory},
  year={2015}
}
  • P. Gaucher
  • Published 8 July 2015
  • Mathematics
  • arXiv: Category Theory
Several methods for constructing left determined model structures are expounded. The starting point is Olschok's work on locally presentable categories. We give sufficient conditions to obtain left determined model structures on a full reflective subcategory, on a full coreflective subcategory and on a comma category. An application is given by constructing a left determined model structure on star-shaped weak transition systems. 
View PDF on arXiv
3 Citations
Methods Citations
2

Figures from this paper

3 Citations

Citation Type

Citation Type

The choice of cofibrations of higher dimensional transition systems
It is proved that there exists a left determined model structure of weak transition systems with respect to the class of monomorphisms and that it restricts to left determined model structures on…
Combinatorics of past-similarity in higher dimensional transition systems
The key notion to understand the left determined Olschok model category of star-shaped Cattani-Sassone transition systems is past-similarity. Two states are past-similar if they have homotopic pasts.…
On the equivalence of all models for (∞,2)$(\infty,2)$‐categories
The goal of this paper is to provide the last equivalence needed in order to identify all known models for $(\infty,2)$-categories. We do this by showing that Verity's model of saturated $2$-trivial…

References

SHOWING 1-10 OF 31 REFERENCES
Left Determined Model Structures for Locally Presentable Categories
We extend a result of Cisinski on the construction of cofibrantly generated model structures from (Grothendieck) toposes to locally presentable categories and from monomorphism to more general…
Left-determined model categories and universal homotopy theories
We call a model category left-determined if the weak equivalences are generated by the cofibrations. While simplicial sets are not left-determined, we show that their non-oriented variant is…
The choice of cofibrations of higher dimensional transition systems
It is proved that there exists a left determined model structure of weak transition systems with respect to the class of monomorphisms and that it restricts to left determined model structures on…
Locally presentable and accessible categories
The concepts of a locally presentable category and an accessible category have turned out to be extremely useful in formulating connections between universal algebra, model theory, logic and computer…
Théories homotopiques dans les topos
On Combinatorial Model Categories
TLDR
Some new results about homotopy equivalences, weak equivalences and cofibrations in combinatorial model categories are contributing to this endeavour by some new resultsabout homotope equivalences.
Sheafifiable homotopy model categories
  • Tibor Beke
  • Mathematics
    Mathematical Proceedings of the Cambridge Philosophical Society
  • 2000
If a Quillen model category can be specified using a certain logical syntax (intuitively, ‘is algebraic/combinatorial enough’), so that it can be defined in any category of sheaves, then the…
Towards a homotopy theory of higher dimensional transition systems
We proved in a previous work that Cattani-Sassone's higher dimensional transition systems can be interpreted as a small-orthogonality class of a topological locally finitely presentable category of…
Homotopy theory of labelled symmetric precubical sets
This paper is the third paper of a series devoted to higher- dimensional transition systems. The preceding paper proved the exis- tence of a left determined model structure on the category of cubical…
Combinatorial Model Categories Have Presentations
Abstract We show that every combinatorial model category is Quillen equivalent to a localization of a diagram category (where “diagram category” means diagrams of simplicial sets). This says that…
...
1
2
3
4
...