Related papers: A folk model structure on omega-cat

A question of Jack Morava is answered by generalising the notion of Moore paths to that of Moore hyperrectangles, so obtaining a strict cubical omega-category. This also has the structure of connections in the sense of Brown and Higgins,…

We construct a category $\OrdFor$ as an arboreal extension of $\Delta_{\mathrm{epi}}\subseteq\Delta$, whose morphisms are ordered forests composed by grafting. We define a full functor $\pi\colon \OrdFor\to\Delta_{\mathrm{epi}}^{op}$…

We compare computads with multitopic sets. Both these kinds of structures have n-dimensional objects (called n-cells and n-pasting diagrams, respectively). The computads form a subclass of the more familiar class of omega-categories, while…

In this work we shall introduce a new model structure on the category of pro-simplicial sheaves, which is very convenient for the study of \'etale homotopy. Using this model structure we define a pro-space associated to a topos, as a result…

We study t-structures generated by sets of objects which satisfy a condition weaker than the compactness. We also study weight structures cogenerated by sets of objects satisfying the dual condition. Under some appropriate hypothesis, it…

For a set-endofunctor $F$, a graph is triple $(V,E,g)$ with a structure map $g:E\rightarrow F V$. This model is a generalized coalgebra over the category of sets. In this note, we model graphs as coalgebras over $Set\times Set$ and use the…

We prove that the $\infty$-category of orthogonal factorization systems embeds fully faithfully into the $\infty$-category of double $\infty$-categories. Moreover, we prove an (un)straightening equivalence for double $\infty$-categories,…

In this note we introduce a notion of free cofibrations of permutative categories. We show that each cofibration of permutative categories is a retract of a free cofibration.

An n-category is some sort of algebraic structure consisting of objects, morphisms between objects, 2-morphisms between morphisms, and so on up to n-morphisms, together with various ways of composing them. We survey various concepts of…

We introduce the notion of an enriched fibration, i.e. a fibration whose total category and base category are enriched in those of a monoidal fibration in an appropriate way. Furthermore, we provide a way to obtain such a structure,…

We establish a correspondence between modules and spans of algebras within a general monoidal 2-category $\mathfrak{C}$. Specifically, for an algebra $A$ in $\mathfrak{C}$, we construct a normalized lax 3-functor from the 2-category of…

We use the terms $\infty$-categories and $\infty$-functors to mean the objects and morphisms in an $\infty$-cosmos: a simplicially enriched category satisfying a few axioms, reminiscent of an enriched category of fibrant objects.…

While many different models for $(\infty,1)$-categories are currently being used, it is known that they are Quillen equivalent to one another. Several higher-order analogues of them are being developed as models for $(\infty,…

We study the $2$-categories BIon, of (generalized) bounded ionads, and $\text{Acc}_\omega$, of accessible categories with directed colimits, as an abstract framework to approach formal model theory. We relate them to topoi and (lex)…

We study the category pro-SSet of pro-simplicial sets, which arises in etale homotopy theory, shape theory, and pro-finite completion. We establish a model structure on pro-SSet so that it is possible to do homotopy theory in this category.…

Definability is a key notion in the theory of Grothendieck fibrations that characterises when an external property of objects can be accessed from within the internal logic of the base of a fibration. In this paper we consider a…

We give an alternate conception of string diagrams as labeled 1-dimensional oriented cobordisms, the operad of which we denote by Cob/O, where O is the set of string labels. The axioms of traced (symmetric monoidal) categories are fully…

We show that the category of categories fibred over a site is a generalized Quillen model category in which the weak equivalences are the local equivalences and the fibrant objects are the stacks, as they were defined by J. Giraud. The…

Let Omega be a quasisimple classical group in its natural representation over a finite vector space V, and let Delta be its normaliser in the general linear group. We construct the projection from Delta to Delta/Omega and provide fast,…

We extend the W-construction of Boardman and Vogt to operads of an arbitrary monoidal model category with suitable interval, and show that it provides a cofibrant resolution for well-pointed sigma-cofibrant operads. The standard simplicial…