Related papers: Accessible model categories
The goal of this article is to develop the theory of presentable categories and topoi internal to an arbitrary $\infty$-topos $\mathcal{B}$. Our main results are internal analogues of Lurie's and Lurie-Simpson's characterisations of…
The paper studies the problem of the cofibrant generation of a model category. We prove that, assuming Vop\v{e}nka's principle, every cofibrantly generated model category is Quillen equivalent to a combinatorial model category. We discuss…
Based on a Whitehead-type characterization of the sectional category we develop the notion of weak sectional category. This is a new lower bound of the sectional category, which is inspired by the notion of weak category in the sense of…
In this paper we generalise the notion of linearity (in the sense of Lawvere) to a category C equipped with a compatible sum structure and product structure. In this context, any morphism f from an n-fold sum to an n-fold product has a…
We construct an internal language for cartesian closed bicategories. Precisely, we introduce a type theory modelling the structure of a cartesian closed bicategory and show that its syntactic model satisfies an appropriate universal…
We call product generator of an additive category a fixed object satisfying the property that every other object is a direct factor of a product of copies of it. In this paper we start with an additive category with products and images,…
It has long been known that every weak monoidal category A is equivalent via monoidal functors and monoidal natural transformations to a strict monoidal category st(A). We generalise the definition of weak monoidal category to give a…
A relative category is a category with a chosen class of weak equivalences. Barwick and Kan produced a model structure on the category of all relative categories, which is Quillen equivalent to the Joyal model structure on simplicial sets…
We introduce constraints necessary for type checking a higher-order concurrent constraint language, and solve them with an incremental algorithm. Our constraint system extends rational unification by constraints x$\subseteq$ y saying that…
We show that the weak infinitesimal generator of a class of Markov processes acts on bounded continuous functions with bounded continuous second derivative as a singular integral with respect to the orthogonality measure of the explicit…
Factorization models express a statistical object of interest in terms of a collection of simpler objects. For example, a matrix or tensor can be expressed as a sum of rank-one components. However, in practice, it can be challenging to…
We construct a wide subcategory of the category of finite association schemes with a collection of desirable properties. Our subcategory has a first isomorphism theorem analogous to that of groups. Also, standard constructions taking…
We extend the Kechris--Pestov--Todor\v{c}evi\'c correspondence to weak Fra\"{\i}ss\'{e} categories and automorphism groups of generic objects. The new ingredient is the weak Ramsey property. We demonstrate the theory on several examples…
We prove an acylindrical accessibility theorem for finitely generated groups acting on $\mathbf R$-trees. Namely, we show that if $G$ is a freely indecomposable non-cyclic $k$-generated group acting minimally and $M$-acylindrically on an…
We consider semisimple super Tannakian categories generated by an object whose symmetric or alternating tensor square is simple up to trivial summands. Using representation theory, we provide a criterion to identify the corresponding…
We study the definable topological dynamics $(G(M), S_G(M))$ of a definable group acting on its type space, where $M$ is either an $o$-minimal structure or a $p$-adically closed field, and $G$ a definable amenable group. We focus on the…
We prove that if G is a discrete group that admits a metrically proper action on a finite-dimensional CAT(0) cube complex X, then G is weakly amenable. We do this by constructing uniformly bounded Hilbert space representations for which the…
We construct a model structure on the category of small categories enriched over a combinatorial closed symmetric monoidal model category satisfying the monoid axiom. Weak equivalences are Dwyer-Kan equivalences, i.e. enriched functors…
We introduce a new higher categorical structure called a weakly globular n-fold category. This structure is based on iterated internal categories and on the notion of weak globularity. We identify a suitable class of pseudo-functors whose…
Lack described a Quillen model structure on the category GrayCat of Gray-categories and Gray-functors, for which the weak equivalences are the weak 3-equivalences. In this note, we adapt the technique of Gurski, Johnson, and Osorno to show…