Related papers: Localizations, colocalizations and non additive *-…

We prove that localization functors of crossed modules of groups do not always admit fiberwise (or relative) versions. To do so we characterize the existence of a fiberwise localization by a certain normality condition and compute explicit…

We study topological properties of the correspondence of prime spectra associated to a noncommutative ring homomorphism R -> S. Our main result provides criteria for the adjointness of certain functors between the categories of Zariski…

We extend the framework of combinatorial model categories, so that the category of small presheaves over large indexing categories and ind-categories would be embraced by the new machinery called class-combinatorial model categories. The…

We define the concept of a regular object with respect to another object in an arbitrary category. We present basic properties of regular objects and we study this concept in the special cases of abelian categories and locally finitely…

We construct various multiple categories, based on generalised Ehresmann quintets. The main construction is a multiple category whose objects are all the `lax' multiple categories; the transversal arrows are their strict multiple functors…

We show how to define biproducts up to isomorphism in an arbitrary category without assuming any enrichment. The resulting notion coincides with the usual definitions whenever all binary biproducts exist or the category is suitably…

Functions with uniform sublevel sets can represent orders, preference relations or other binary relations and thus turn out to be a tool for scalarization that can be used in multicriteria optimization, decision theory, mathematical…

We present the notion of "cyclic double multicategory", as a structure in which to organise multivariable adjunctions and mates. The classic example of a 2-variable adjunction is the hom/tensor/cotensor trio of functors; we generalise this…

Let A, B, S be categories, let F:A-->S and G:B-->S be functors. We assume that for "many" objects a in A, there exists an object b in B such that F(a) is isomorphic to G(b). We establish a general framework under which it is possible to…

We study duals for objects and adjoints for $k$-morphisms in $\operatorname{Alg}_n(\mathcal{S})$, an $(\infty,n+N)$-category that models a higher Morita category for $E_n$ algebra objects in a symmetric monoidal $(\infty,N)$-category…

We give an account of Bousfield localisation and colocalisation for one-dimensional model categories---ones enriched over the model category of $0$-types. A distinguishing feature of our treatment is that it builds localisations and…

Let $X$ be a topological space. A subset of $C(X)$, the space of continuous real-valued functions on $X$, is a partially ordered set in the pointwise order. Suppose that $X$ and $Y$ are topological spaces, and $A(X)$ and $A(Y)$ are subsets…

We relativise double categories of relations to stable orthogonal factorisation systems. Furthermore, we present the characterisation of the relative double categories of relations in two ways. The first utilises a generalised comprehension…

We give a new criterion guaranteeing existence of model structures left-induced along a functor admitting both adjoints. This works under the hypothesis that the functor induces idempotent adjunctions at the homotopy category level. As an…

We introduce the compactness locus of a geometric functor between rigidly-compactly generated tensor-triangulated categories, and describe it for several examples arising in equivariant homotopy theory and algebraic geometry. It is a subset…

We show that in a locally lambda-presentable category, every lambda(m)-injectivity class (i.e., the class of all the objects injective with respect to some class of lambda-presentable morphisms) is a weakly reflective subcategory determined…

Arboreal categories provide an axiomatic framework in which abstract notions of bisimilarity and back-and-forth games can be defined. They act on extensional categories, typically consisting of relational structures, via arboreal…

Category is put to work in the non-associative realm in the article. We focus on a typical example of non-associative category. Its objects are octonionic bimodules, morphisms are octonionic para-linear maps, and compositions are…

We present a doctrinal approach to category theory, obtained by abstracting from the indexed inclusions (via discrete fibrations and opfibrations) of the left and of the right actions of X in Cat in categories over X. Namely, a "weak…

In general, all constructions of algebraic topology are functorial; the notions of category, functor and natural transformation originated here. The arrow categories are more simple forms of the \emph{comma} categories and were introduced…