Related papers: Lifting Enhanced Factorization Systems to Functor …

We study limits in 2-categories whose objects are categories with extra structure and whose morphisms are functors preserving the structure only up to a coherent comparison map, which may or may not be required to be invertible. This is…

We introduce basic notions and results about relation liftings on categories enriched in a commutative quantale. We derive two necessary and sufficient conditions for a 2-functor T to admit a functorial relation lifting: one is the…

In the present work, we investigate the extension of double factorization systems to the categories of Eilenberg-Moore (co)algebras. We show that the double factorization systems $(\texttt{ExEpi},\texttt{Bim},\texttt{ExMono})$ in the…

This thesis focuses on topics in 2-category theory: in particular on double categories, pseudomonads and codescent objects. In Chapter 2 we recall all the necessary notions. In Chapter 3 we show that factorization systems can be…

Let $\mathfrak{C}$ be a multifusion 2-category. We show that every finite semisimple $\mathfrak{C}$-module 2-category is canonically enriched over $\mathfrak{C}$. Using this enrichment, we prove that every finite semisimple…

In this paper we present background results in enriched category theory and enriched model category theory necessary for developing model categories of enriched functors suitable for doing functor calculus.

We study group graded extensions of fusion 2-categories. As an application, we obtain a homotopy theoretic classification of fermionic strongly fusion 2-categories. We examine various examples in detail.

This paper is a contribution towards a two dimensional extension of the basic ideas and results of Janelidze-Galois theory. In the present paper, we give a suitable counterpart notion to that of \textit{absolute admissible Galois structure}…

We provide a more economical refined version of Evrard's categorical cocylinder factorization of a functor [Ev1,2]. We show that any functor between small categories can be factored into a homotopy equivalence followed by a (co)fibred…

We show that factorization systems, both strict and orthogonal, can be equivalently described as double categories satisfying certain properties. This provides conceptual reasons for why the category of sets and partial maps or the category…

We extend the notion of a factorization system in a category to the realm of $\infty$-categories. To this end, we provide a description of the category of $\infty$-categories with factorization systems as the category of presheaves of…

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)…

A Quillen model structure is presented by an interacting pair of weak factorization systems. We prove that in the world of locally presentable categories, any weak factorization system with accessible functorial factorizations can be lifted…

We define the category 2-Cob combinatorially and use this definition to prove the existence of an orthogonal factorization system. In the second half of the paper, we define oriented 1-Cob similarly and define a functor from oriented 1-Cob…

We develop the Morita theory of fusion 2-categories. In order to do so, we begin by proving that the relative tensor product of modules over a separable algebra in a fusion 2-category exists. We use this result to construct the Morita…

The goal of this paper is to prove an equivalence between the $(\infty,2)$-category of cartesian factorization systems of $\infty$-categories and that of pointed cartesian fibrations of $\infty$-categories. This generalizes a similar result…

Additive categories play a fundamental role in mathematics and related disciplines. Given an additive category equipped with a biadditive functor, one can construct its category of extensions, which encodes important structural information.…

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…

We study categories of matrix factorizations. These categories are defined for any regular function on a suitable regular scheme. Our paper has two parts. In the first part we develop the foundations; for example we discuss derived direct…

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,…