Related papers: Cartesian factorization systems and pointed cartes…

Classification is an important goal in many branches of mathematics. The idea is to describe the members of some class of mathematical objects, up to isomorphism or other important equivalence in terms of relatively simple invariants. Where…

Extriangulated categories, introduced by Nakaoka and Palu, serve as a simultaneous generalization of exact and triangulated categories. In this paper, we first introduce the concept of admissible weak factorization systems and establish a…

Generalizing Eisenbud's matrix factorizations, we define factorization categories. Following work of Positselski, we define their associated derived categories. We construct specific resolutions of factorizations built from a choice of…

This paper defines double fibrations (fibrations of double categories) and describes their key examples and properties. In particular, it shows how double fibrations relate to existing fibrational notions such as monoidal fibrations and…

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

Since categories are graphs with additional "structure", one should start from fuzzy graphs in order to define a theory of fuzzy categories. Thus is makes sense to introduce categories whose morphisms are associated with a plausibility…

A consistent factorization theorem is presented in the framework of effective field theories. Conventional factorization suffers from infrared divergences in the soft and collinear parts. We present a factorization theorem in which the…

We revisit the definition of Cartesian differential categories, showing that a slightly more general version is useful for a number of reasons. As one application, we show that these general differential categories are comonadic over…

An important result in quasi-category theory due to Lurie is the that cocartesian fibrations are exponentiable, in the sense that pullback along a cocartesian fibration admits a right Quillen right adjoint that moreover preserves cartesian…

We use the complete Segal approach to the theory of Cartesian fibrations to define and study representable Cartesian fibrations, generalizing representable right fibrations which have played a key role in $\infty$-category theory. In…

Cartesian fibrations were originally defined by Lurie in the context of quasi-categories and are commonly used in $(\infty,1)$-category theory to study presheaves valued in $(\infty,1)$-categories. In this work we define and study…

The structure of the category of matroids and strong maps is investigated: it has coproducts and equalizers, but not products or coequalizers; there are functors from the categories of graphs and vector spaces, the latter being faithful;…

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…

We consider $(\infty,d)$-categories in the limit $d\to \infty$ via the core or localization functors that forget or invert higher non-invertible arrows, respectively. We compare the two resulting $(\infty,1)$-categories of…

We construct a monoidal version of Lurie's un/straightening equivalence. In more detail, for any symmetric monoidal $\infty$-category $\mathbf C$, we endow the $\infty$-category of coCartesian fibrations over $\mathbf C$ with a (naturally…

We study and compare two factorisation systems for surjective homomorphisms in the category of quandles. The first one is induced by the adjunction between quandles and trivial quandles, and a precise description of the two classes of…

There is an ``algebraisation'' of the notion of weak factorisation system (w.f.s.) known as a natural weak factorisation system. In it, the two classes of maps of a w.f.s. are replaced by two categories of maps-with-structure, where the…

We use pointwise Kan extensions to generate new subcategories out of old ones. We investigate the properties of these newly produced categories and give sufficient conditions for their cartesian closedness to hold. Our methods are of…

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…

In this paper we consider a notion of pointwise Kan extension in double categories that naturally generalises Dubuc's notion of pointwise Kan extension along enriched functors. We show that, when considered in equipments that admit…