Topogenous orders and related families of morphisms

Abstract

In 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):

• 18A05
• 18F60
• 54A15
• 54B30

Key words:

• Closure operator
• interior operator
• categorical topogenous order
• heredity
• (co)pointed endofunctors
• -fibrations
• strict, co-strict
• initial and final morphisms