Weak model categories in classical and constructive mathematics

S Henry - arXiv preprint arXiv:1807.02650, 2018 - arxiv.org
We introduce a notion of" weak model category" which is a weakening of the notion of
Quillen model category, still sufficient to define a homotopy category, Quillen adjunctions …

Left Bousfield localization without left properness

D White, M Batanin - arXiv preprint arXiv:2001.03764, 2020 - arxiv.org
Given a combinatorial (semi-) model category $ M $ and a set of morphisms $ C $, we
establish the existence of a semi-model category $ L_C M $ satisfying the universal property …

Algebraically cofibrant and fibrant objects revisited

J Bourke, S Henry - arXiv preprint arXiv:2005.05384, 2020 - arxiv.org
We extend all known results about transferred model structures on algebraically cofibrant
and fibrant objects by working with weak model categories. We show that for an accessible …

On the homotopy theory of stratified spaces

PJ Haine - arXiv preprint arXiv:1811.01119, 2018 - arxiv.org
Let $ P $ be a poset. We define a new homotopy theory of suitably nice $ P $-stratified
topological spaces with equivalences on strata and links inverted. We show that the exit …

Templicial objects: Simplicial objects in a monoidal category

A Mertens - 2022 - repository.uantwerpen.be
Based on the work of Aguiar and Leinster, we introduce templicial (short for tensor-
simplicial) objects which may be viewed as simplicial objects internalized into a (non …

An inductive model structure for strict∞-categories

S Henry, F Loubaton - 2023 - hal.science
We construct a left semi-model category of" marked strict∞-categories" for which the fibrant
objects are those whose marked arrows satisfy natural closure properties and are weakly …

Minimal model structures

S Henry - arXiv preprint arXiv:2011.13408, 2020 - arxiv.org
We prove, without set theoretic assumptions, that every locally presentable category C
endowed with a tractable cofibrantly generated class of cofibrations has a unique minimal …

The effective model structure and-groupoid objects

N Gambino, S Henry, C Sattler… - Forum of Mathematics …, 2022 - cambridge.org
For a category with finite limits and well-behaved countable coproducts, we construct a
model structure, called the effective model structure, on the category of simplicial objects in …

When Bousfield localizations and homotopy idempotent functors meet again

V Carmona - arXiv preprint arXiv:2203.15849, 2022 - arxiv.org
We adopt semimodel categories to extend fundamental results related to Bousfield
localizations of model categories. More specifically, we generalize Bousfield-Friedlander …

[PDF][PDF] Vopenka's principle in 1–categories

GL Monaco - preprint, 2021 - academia.edu
In this article, the interplay between Vopenka's principle, as well as its weaker counterpart,
and presentable∞-categories is studied. Analogous statements, arising after replacing …