Topogenous orders and related families of morphisms

Abstract

AbstractIn a category with a proper ()-factorization system, we study the notions of strict, co-strict, initial and final morphisms with respect to a topogenous order. Besides showing that they allow simultaneous study of four classes of morphisms obtained separately with respect to closure, interior and neighbourhood operators, the initial and final morphisms lead us to the study of topogenous orders induced by pointed and co-pointed endofunctors. We also lift the topogenous orders along an -fibration. This permits one to obtain the lifting of interior and neighbourhood operators along an -fibration and includes the lifting of closure operators found in the literature. A number of examples presented at the end of the paper demonstrates our results.Mathematics Subject Classification (2020): 18A0518F6054A1554B30Key words: Closure operatorinterior operatorcategorical topogenous orderheredity(co)pointed endofunctors-fibrationsstrict, co-strictinitial and final morphisms