# About left determined model categories

@article{Gaucher2015AboutLD, title={About left determined model categories}, author={Philippe Gaucher}, journal={arXiv: Category Theory}, year={2015} }

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.

## 3 Citations

The choice of cofibrations of higher dimensional transition systems

- Mathematics
- 2015

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

- Mathematics
- 2016

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

- MathematicsJournal of the London Mathematical Society
- 2022

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

- MathematicsAppl. Categorical Struct.
- 2011

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

- Mathematics
- 2003

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

- Mathematics
- 2015

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

- Mathematics
- 1994

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…

On Combinatorial Model Categories

- MathematicsAppl. Categorical Struct.
- 2009

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

- MathematicsMathematical 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

- Mathematics
- 2010

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

- Mathematics
- 2014

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

- Mathematics
- 2000

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…