Lax orthogonal factorisations in ordered structures

Maria Manuel Clementino and Ignacio López Franco

We give an account of lax orthogonal factorisation systems on order-enriched categories. Among them, we define and characterise the KZ-reflective ones, in a way that mirrors the characterisation of reflective orthogonal factorisation systems. We use simple monads to construct lax orthogonal factorisation systems, such as one on the category of T_0 topological spaces closely related to continuous lattices.

Keywords: lax orthogonal factorization system, lax idempotent monad, order-enriched category, weak factorization system, reflective factorization system, continuous lattice

2020 MSC: Primary 18D05, 18A32. Secondary 55U35

Theory and Applications of Categories, Vol. 35, 2020, No. 36, pp 1379-1423.

Published 2020-08-11.

TAC Home