Related papers: Factorization systems in $\infty$-categories
Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…
We relate weak distributive laws in SetMat to strictly associative (but not strictly unital) pseudoalgebras of the 2-monad (-)^2 on Cat. The corresponding orthogonal factorization systems are characterized by a certain bilinearity property.
A certain amount of category theory is developed in an arbitrary finitely complete category with a factorization system on it, playing the role of the comprehensive factorization system on Cat. Those aspects related to the concepts of…
We study lax functors between bicategories as a generalized concept of monads and describe generalized notions and theorems of formal monad theory for lax functors. Our first approach is to use the 2-monad whose lax algebras are lax…
Categorification is the process of finding category-theoretic analogs of set-theoretic concepts by replacing sets with categories, functions with functors, and equations between functions by natural isomorphisms between functors, which in…
We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…
The problem of factorization of a nonextensive probability distribution is discussed. It is shown that, in general, the correlation energy between the correlated subsystems in the canonical composite system can not be neglected even in the…
We initiate the combinatorial study of factorization systems on finite lattices, paying special attention to the role that reflective and coreflective factorization systems play in partitioning the poset of factorization systems on a fixed…
The category of super convex spaces, a proper subcategory of convex spaces, possesses the property that it has a codense subcategory. This codense subcategory allows for an elementary proof that the Giry monad factorizes through the…
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…
In this paper we give sufficient conditions for lifting an enhanced factorization system $ (\mathcal{E}, \mathcal{M}) $ on a $ 2 $-category $ \mathbf{D} $ to the functor $ 2 $-category $ \mathbf{D}^{\mathbf{C}} $, where $ \mathbf{C} $ is a…
In the first part, we further advance the study of category theory in a strong balanced factorization category C [Pisani, 2008], a finitely complete category endowed with two reciprocally stable factorization systems such that X \to 1 is in…
We start with elementary algebraic theory of factorization of linear ordinary differential equations developed in the period 1880-1930. After exposing these classical results we sketch more sophisticated algorithmic approaches developed in…
Algebra objects in $\infty$-categories of spans admit a description in terms of $2$-Segal objects. We introduce a notion of span between $2$-Segal objects and extend this correspondence to an equivalence of $\infty$-categories.…
The factorization theorem for organizing multiple electroweak boson emissions at future colliders with energy far above the electroweak scale is formulated. Taking the inclusive muon-pair production in electron-positron collisions as an…
It is well known that to give an oplax functor of bicategories $\mathbf{1}\to\mathscr{C}$ is to give a comonad in $\mathscr{C}$. Here we generalize this fact, replacing the terminal bicategory by any bicategory $\mathscr{A}$ for which the…
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…
A moment category is endowed with a distinguished set of split idempotents, called moments, which can be transported along morphisms. Equivalently, a moment category is a category with an active/inert factorisation system fulfilling two…
We use the terms "$\infty$-categories" and "$\infty$-functors" to mean the objects and morphisms in an "$\infty$-cosmos." Quasi-categories, Segal categories, complete Segal spaces, naturally marked simplicial sets, iterated complete Segal…
Categories, n-categories, double categories, and multicategories (among others) all have similar definitions as collections of cells with composition operations. We give an explicit description of the information required to define any…