English
Related papers

Related papers: The monotone-light factorization for 2-categories …

200 papers

We prove that the category of preordered groups contains two full reflective subcategories that give rise to some interesting Galois theories. The first one is the category of the so-called commutative objects, which are precisely the…

Category Theory · Mathematics 2023-03-08 Marino Gran , Aline Michel

This paper introduces lax orthogonal algebraic weak factorisation systems on 2-categories and describes a method of constructing them. This method rests in the notion of simple 2-monad, that is a generalisation of the simple reflections…

Category Theory · Mathematics 2016-09-13 Maria Manuel Clementino , Ignacio Lopez Franco

In an abelian category, the (bi)fibration of subobjects is isomorphic to the (bi)fibration of quotients. This property captures substantial information about the exactness structure of a category. Indeed, as it was shown by the second…

Category Theory · Mathematics 2025-10-13 Elena Caviglia , Zurab Janelidze , Luca Mesiti

In this thesis we present an introduction to Soft-Collinear Effective Theory, which can be used to prove (or disprove) factorization theorems to all orders in the strong coupling constant for some B decays into light and energetic…

High Energy Physics - Phenomenology · Physics 2007-05-23 Bjorn O Lange

We prove that the 2-category Grt of Grothendieck abelian categories with colimit preserving functors and natural transformations is a bicategory of fractions in the sense of Pronk of the 2-category Site of linear sites with continuous…

Category Theory · Mathematics 2018-01-15 Julia Ramos González

Let $\mathsf{PreOrd}(\mathbb C)$ be the category of internal preorders in an exact category $\mathbb C$. We show that the pair $(\mathsf{Eq}(\mathbb C), \mathsf{ParOrd}(\mathbb C))$ is a pretorsion theory in $\mathsf{PreOrd}(\mathbb C)$,…

Category Theory · Mathematics 2020-03-09 Alberto Facchini , Carmelo Finocchiaro , Marino Gran

We extend the 2-representation theory of finitary 2-categories to certain 2-categories with infinitely many objects, denoted locally finitary 2-categories, and extend the classical classification results of simple transitive…

Category Theory · Mathematics 2022-01-19 James Macpherson

Pronk's theorem on bicategories of fractions is applied, in almost all cases in the literature, to 2-categories of geometrically presentable stacks on a 1-site. We give an proof that subsumes all previous such results and which is purely…

Category Theory · Mathematics 2018-02-02 David Michael Roberts

We define a notion of grading of a monoid T in a monoidal category C, relative to a class of morphisms M (which provide a notion of M-subobject). We show that, under reasonable conditions (including that M forms a factorization system),…

Logic in Computer Science · Computer Science 2023-08-01 Flavien Breuvart , Dylan McDermott , Tarmo Uustalu

In this article we extend the theory of lax monoidal structures, also known as multitensors, and the monads on categories of enriched graphs that they give rise to. Our first principal result -- the lifting theorem for multitensors --…

Category Theory · Mathematics 2013-09-18 Michael Batanin , Denis-Charles Cisinski , Mark Weber

We consider the 3-category $2\mathfrak{C}at$ whose objects are 2-categories, 1-morphisms are lax functors, 2-morphisms are lax transformations and 3-morphisms are modifications. The aim is to show that it carries interesting…

Representation Theory · Mathematics 2025-08-11 Fei Xu , Maoyin Zhang

Given a 2-category $\mathcal{A}$, a $2$-functor $\mathcal{A} \overset {F} {\longrightarrow} \mathcal{C}at$ and a distinguished 1-subcategory $\Sigma \subset \mathcal{A}$ containing all the objects, a $\sigma$-cone for $F$ (with respect to…

Category Theory · Mathematics 2018-03-21 M. E. Descotte , E. J. Dubuc , M. Szyld

We study lax epimorphisms in 2-categories, with special attention to $\mathsf{Cat}$ and $\mathcal{V}$-$\mathsf{Cat}$. We show that any 2-category with convenient colimits has an orthogonal $LaxEpi$-factorization system, and we give a…

Category Theory · Mathematics 2023-11-13 Fernando Lucatelli Nunes , Lurdes Sousa

We construct a category equivalent to the category $\mathbf{Mon}$ of monoids and monoid homomorphisms, based on categories with strict factorization systems. This equivalence is then extended to the category $\mathbf{Mon_s}$ of unital…

Category Theory · Mathematics 2025-10-31 Xavier Mary

Abstract inner automorphisms can be used to promote any category into a 2-category, and we study two-dimensional limits and colimits in the resulting 2-categories. Existing connected colimits and limits in the starting category become…

Category Theory · Mathematics 2025-09-08 Pieter Hofstra , Martti Karvonen

Given a not necessarily semisimple modular tensor category C, we use the corresponding 3d TFT defined in [arXiv:1912.02063] to explicitly describe a modular functor as a symmetric monoidal 2-functor from a 2-category of oriented bordisms to…

Quantum Algebra · Mathematics 2024-05-29 Aaron Hofer , Ingo Runkel

Formulas describing all 2-element and 3-element factorizations of arbitrary element of the groups SU(2) and SO(3,R) are derived. Six 2-element factorizations, $ (U_{2}U_{3}U'_{2}), (U_{3}U_{2}U'_{3}), (U_{3}U_{1}U'_{3}), (U_{1}U_{3}U'_{1}),…

Mathematical Physics · Physics 2008-08-07 V. M. Red'kov , N. G. Tokarevskaya

We expand the theory of 2-classifiers, that are a 2-categorical generalization of subobject classifiers introduced by Weber. The idea is to upgrade monomorphisms to discrete opfibrations. We prove that the conditions of 2-classifier can be…

Category Theory · Mathematics 2024-09-19 Luca Mesiti

A 2-group is a "categorified" version of a group, in which the underlying set G has been replaced by a category and the multiplication map has been replaced by a functor. Various versions of this notion have already been explored; our goal…

Quantum Algebra · Mathematics 2007-05-23 John C. Baez , Aaron D. Lauda

We point out that double categories provide a natural setting for modular functors obtained by a (bicategorical) string-net construction: The source of the modular functor -- which is now a double functor -- is a symmetric monoidal double…

Quantum Algebra · Mathematics 2026-05-06 Jürgen Fuchs , Christoph Schweigert , Yang Yang