Related papers: Fibrantly generated weak factorization systems

We fix any pair $(\mathbf{\mathscr{C}},\mathbf{W})$ consisting of a bicategory and a class of morphisms in it, admitting a bicalculus of fractions, i.e. a "localization" of $\mathbf{\mathscr{C}}$ with respect to the class $\mathbf{W}$. In…

We prove that every categorical model of dependent type theory with dependent sums and products, intensional identity types and univalent universes presents via its $\infty$-localisation an elementary $\infty$-topos, that is, a finitely…

We prove that Vop\v{e}nka's Principle implies that for every class $\mathfrak{X}$ of modules over any ring, the class of \textbf{$\boldsymbol{\mathfrak{X}}$-Gorenstein Projective modules}…

We investigate fibrancy conditions in the Thomason model structure on the category of small categories. In particular, we show that the category of weak equivalences of a partial model category is fibrant. Furthermore, we describe…

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 paper, we prove the weak positivity theorem in positive characteristic when the canonical ring of the geometric generic fiber $F$ is finitely generated and the Frobenius stable canonical ring of $F$ is large enough. As its…

We show that in a weak globular $\omega$-category, all composition operations are equivalent and commutative for cells with sufficiently degenerate boundary, which can be considered a higher-dimensional generalisation of the Eckmann-Hilton…

Delta lenses are functors equipped with a suitable choice of lifts, generalising the notion of split opfibration. In recent work, delta lenses were characterised as the right class of an algebraic weak factorisation system. In this paper,…

A locally compact group $G$ has the factorization property if the map $$C^*(G)\odot C^*(G)\ni a\otimes b\mapsto \lambda(a)\rho(b)\in\mathcal B(L^2(G))$$ is continuous with respect to the minimal C*-norm. This paper seeks to initiate a…

This article presents three characterizations of the weak factorization systems on finitely complete categories that interpret intensional dependent type theory with Sigma-, Pi-, and Id-types. The first characterization is that the weak…

Let V be a simple VOA and consider a representation category of V that is a vertex tensor category in the sense of Huang-Lepowsky. In particular, this category is a braided tensor category. Let J be an object in this category that is a…

We introduce two new classes of fusion categories which are obtained by a certain procedure from finite groups - weakly group-theoretical categories and solvable categories. These are fusion categories that are Morita equivalent to iterated…

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…

We undertake the study of complex rank analogues of parabolic category O defined using Deligne categories. We regard these categories as a family over an affine space, introduce a stratification on this parameter space, and formulate…

Let $\kappa$ be a regular cardinal, $\lambda<\kappa$ be a smaller infinite cardinal, and $\mathsf K$ be a $\kappa$-accessible category where colimits of $\lambda$-indexed chains exist. We show that various category-theoretic constructions…

We give a new characterisation of virtually free groups using graph minors. Namely, we prove that a finitely generated, infinite group is virtually free if and only if for any finite generating set, the corresponding Cayley graph is minor…

A symmetric tensor category $\mathcal D$ over an algebraically closed field $k$ is incompressible if every tensor functor out of $\mathcal D$ is an embedding. E.g., the categories $Vec$ and $sVec$ of (super)vector spaces are incompressible.…

This paper investigates the differentiability of weak limits of bi-Sobolev homeomorphisms. Given $p>n-1$, consider a sequence of homeomorphisms $f_k$ with positive Jacobians $J_{f_k} >0$ almost everywhere and $\sup_k(\|f_{k}\|_{W^{1,n-1}} +…

Let $k$ be a field of characteristic $0$ endowed with a complex embedding $\sigma: k \hookrightarrow \mathbb{C}$. In this paper we complete the construction of the six functor formalism on perverse Nori motives over quasi-projective…

The main purpose of this paper is to show that the converse of the known implication weakly action representable implies action accessible is false. In particular we show that both action accessibility, as well as the (at least formally…