Concordant and Monotone Morphisms

Abstract

Concordant-dissonant and monotone-light factorisation systems on categories, ways to construct them, and conditions for them to coincide, as well as their examples are studied in this article. These factorisation systems are constructed from a reflection induced from a ground adjunction and a specified prefactorisation system. Furthermore, we give additional conditions, under which the monotone-light and the concordant-dissonant factorisations coincide for sub-reflections of the induced reflection. The adjunctions given by right Kan extensions, from the category of presheaves on sets, turn out to be very well-behaved examples, provided they satisfy the cogenerating set condition, which allows to describe the four classes of morphisms in the reflective and concordant-dissonant (= monotone-light) factorisations. It is also noticed that the faithfulness of the composite of the left-adjoint with the Yoneda embedding can be seen as a generalisation of the cogenerating set condition. Using this generalisation it is possible to present a convenient simplified version of the sufficient conditions above for the case of an adjunction from the category of presheaves on sets into a cocomplete category, satisfying the faithfulness of the abovementioned composite. Then, the same is done for induced sub-reflections from categories of models of (limit) sketches; in particular this explains why the monotone-light factorisation for categories via preordered sets is just the restriction of the same factorisation for simplicial sets via ordered simplicial complexes.