Related papers: On orthogonal factorization systems and double cat…

The straightening-unstraightening correspondence of Grothendieck--Lurie provides an equivalence between cocartesian fibrations between $(\infty, 1)$-categories and diagrams of $(\infty, 1)$-categories. We provide an alternative proof of…

Given an $\infty$-category with a set of weak equivalences which is stable under pullback, we show that the mapping spaces of the corresponding localization can be described as group completions of $\infty$-categories of spans. Furthermore,…

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 investigate the connection between left exact $\infty$-functors between finitely complete quasicategories and exact functors between fibration categories, describing a procedure to approximate flat $\infty$-functors of the former type by…

To a graded finite-rank matrix factorisation of the difference of two homogeneous potentials one can assign two numbers, the left and right quantum dimension. The existence of such a matrix factorisation with non-zero quantum dimensions…

We prove that a pair of singularities related by a transformation arising from the McKay correspondence are orbifold equivalent. From this we deduce a new proof of a McKay type equivalence for the matrix factorization categories.

We develop the theory of exact completions of regular $\infty$-categories, and show that the $\infty$-categorical exact completion (resp. hypercompletion) of an abelian category recovers the connective half of its bounded (resp. unbounded)…

This is the fifth one in a series of papers classifying the factorizations of almost simple groups with nonsolvable factors. In this paper we deal with orthogonal groups of plus type.

We show that the tensor product of $\infty$-categories enriched in a suitable monoidal $\infty$-category preserves colimits in each variable, fixing a mistake in an earlier paper of Gepner and the author. We also prove that essentially…

We construct a pairing, which we call factorization homology, between framed manifolds and higher categories. The essential geometric notion is that of a vari-framing of a stratified manifold, which is a framing on each stratum together…

If M is a model category and Z is an object of M, then there are model category structures on the category of objects of M over Z and the category of objects of M under Z under which a map is a cofibration, fibration, or weak equivalence if…

In this paper we continue the work of Kalnins et al in classifying all second-order conformally-superintegrable (Laplace-type) systems over conformally flat spaces, using tools from algebraic geometry and classical invariant theory. The…

We extend \cite{G} to the nonsemisimple case. We define and study exact factorizations $\B=\A\bullet \C$ of a finite tensor category $\B$ into a product of two tensor subcategories $\A,\C\subset \B$, and relate exact factorizations of…

If $X$ is a 2-Segal set, then the edgewise subdivision of $X$ admits a factorization system coming from upper and lower d\'ecalage. Using the correspondence between 2-Segal sets and unary operadic categories satisfying the blow-up axiom,…

We prove the first equivalence between a weak non-algebraic model and a semi-strict algebraic model of $(\infty, n)$-categories. This takes the form of a natural semi-strictification, whereby a weak $(\infty, n)$-category is embedded into a…

Graded rings provide a natural algebraic framework for encoding symmetry via decompositions into homogeneous components indexed by a group, together with multiplication rules reflecting the group operation. Among graded rings, strongly…

We provide an equivalence between the dg category of coherent matrix factorizations and a certain dg category of absolute singularities. As an application, we compute the l-adic cohomology of the dg category of coherent matrix…

We provide a calculus of mates for functors to the $\infty$-category of $\infty$-categories and extend Lurie's unstraightening equivalences to show that (op)lax natural transformations correspond to maps of (co)cartesian fibrations that do…

We prove that the category of (strictly unital) A$_\infty$-categories, linear over a commutative ring $R$, with strict A$_\infty$-morphisms has a cofibrantly generated model structure. In this model structure every object is fibrant and the…

In a previous work we showcased the factorization method to find the symmetries of superintegrable systems with spherical separability in flat spaces. Here we analyze the same problem, but in constant curvature spaces along the examples of…