English
Related papers

Related papers: Factorization systems in $\infty$-categories

200 papers

We present general techniques for constructing functorial factorizations appropriate for model structures that are not known to be cofibrantly generated. Our methods use "algebraic" characterizations of fibrations to produce factorizations…

Algebraic Topology · Mathematics 2013-04-24 Tobias Barthel , Emily Riehl

We introduce ``sheafification'' functors from categories of (lax monoidal) linear functors to categories of quasi-coherent sheaves (of algebras) of stacks. They generalize the homogeneous sheafification of graded modules for projective…

Algebraic Geometry · Mathematics 2020-10-27 Fabio Tonini

Expanding on the comprehensive factorization of functors internal to a category C, under fairly mild conditions on a monad T on C we establish that this orthogonal factorization system exists even in Burroni's category Cat(T) of (internal)…

Category Theory · Mathematics 2020-12-16 Walter Tholen , Leila Yeganeh

We introduce categories of extended Gaussian maps and Gaussian relations which unify Gaussian probability distributions with relational nondeterminism in the form of linear relations. Both have crucial and well-understood applications in…

Logic in Computer Science · Computer Science 2023-06-08 Dario Stein , Richard Samuelson

We prove a universal property for $\infty$-categories of spans in the generality of Barwick's adequate triples, explicitly describe the cocartesian fibration corresponding to the span functor, and show that the latter restricts to a…

Category Theory · Mathematics 2023-09-21 Rune Haugseng , Fabian Hebestreit , Sil Linskens , Joost Nuiten

We thoroughly treat several familiar and less familiar definitions and results concerning categories, functors and distributors enriched in a base quantaloid Q. In analogy with V-category theory we discuss such things as adjoint functors,…

Category Theory · Mathematics 2007-05-23 Isar Stubbe

For numerical semigroups with a specified list of (not necessarily minimal) generators, we describe the asymptotic distribution of factorization lengths with respect to an arbitrary modulus. In particular, we prove that the factorization…

Combinatorics · Mathematics 2020-10-02 Stephan Ramon Garcia , Mohamed Omar , Christopher O'Neill , Timothy Wesley

The concept of a weak factorization system has been studied extensively in homotopy theory and has recently found an application in one of the proofs of the celebrated flat cover conjecture, categorical versions of which have been presented…

Group Theory · Mathematics 2013-02-04 Alex Bailey , James Renshaw

Category theory provides a powerful tool to organize mathematics. A sample of this descriptive power is given by the categorical analysis of the practice of "classes as shorthands" in ZF set theory. In this case category theory provides a…

Logic · Mathematics 2012-12-14 Samuele Maschio

The bicategorical point of view provides a natural setting for many concepts in the representation theory of monoidal categories. We show that centers of twisted bimodule categories correspond to categories of 2-dimensional natural…

Category Theory · Mathematics 2023-06-09 Bojana Femić , Sebastian Halbig

We show that, in conserved-mass transport processes, the steady-state distribution of mass in a subsystem is uniquely determined from the functional dependence of variance of the subsystem mass on its mean, provided that joint mass…

Statistical Mechanics · Physics 2014-03-17 Sayani Chatterjee , Punyabrata Pradhan , P. K. Mohanty

The notion of semi-unital semi-monoidal category was defined a couple of years ago using the so called "Takahashi tensor product" and so far, the only example of it in the literature is complex. In this paper, we use the recently defined…

Category Theory · Mathematics 2021-08-17 Yves Fomatati

In this paper we present $2$-category theory from the perspective of Gray-categories using the graphical calculus of separated surface diagrams. As an extended example we consider cones and limits of $2$-functors. Then we use the canonical…

Category Theory · Mathematics 2022-03-17 Edward Morehouse

Let G be a piecewise constant $n\times n$ matrix function which is defined on a smooth closed curve $\Gamma$ in the complex sphere and which has m jumps. We consider the problem of determining the partial indices of the factorization of the…

Classical Analysis and ODEs · Mathematics 2007-05-23 Torsten Ehrhardt , Ilya M. Spitkovsky

In this work we study some symplectic submanifolds in the cotangent bundle of a factorizable Lie group defined by second class constraints. By applying the Dirac method, we study many issues of these spaces as fundamental Dirac brackets,…

Mathematical Physics · Physics 2015-05-20 S. Capriotti , H. Montani

We review several known categorification procedures, and introduce a functorial categorification of group extensions with applications to non-abelian group cohomology. Categorification of acyclic models and of topological spaces are briefly…

Category Theory · Mathematics 2007-05-23 Lucian M. Ionescu

Containers are used to carve out a class of strictly positive data types in terms of shapes and positions. They can be interpreted via a fully-faithful functor into endofunctors on Set. Monadic containers are those containers whose…

Logic in Computer Science · Computer Science 2025-06-16 Chris Purdy , Stefania Damato

We present an intrinsic and concrete development of the subdivision of small categories, give some simple examples and derive its fundamental properties. As an application, we deduce an alternative way to compare the homotopy categories of…

Algebraic Topology · Mathematics 2018-07-10 Matias Luis del Hoyo

This article is the continuation of [LS12]. We use categories of matrix factorizations to define a morphism of rings (= a Landau-Ginzburg motivic measure) from the (motivic) Grothendieck ring of varieties over $\mathbb{A}^1$ to the…

Algebraic Geometry · Mathematics 2015-06-02 Valery A. Lunts , Olaf M. Schnürer

For any algebra morphism in a monoidal category, we provide sufficient conditions (which are also necessary if the unit is a left tensor generator) for the attached induction functor being semiseparable. Under mild assumptions, we prove…

Category Theory · Mathematics 2026-02-04 Lucrezia Bottegoni , Zhenbang Zuo