Topogenous structures on faithful and amnestic functors

TL;DR

This paper introduces and studies topogenous orders on faithful and amnestic functors, connecting categorical concepts with closure and interior operators, and characterizes special morphisms in this context.

Contribution

It develops a new categorical framework for topogenous orders on functors, linking them to closure and interior operators, and characterizes strict and final morphisms relative to these orders.

Findings

Topogenous orders capture formal closure operators.

Introduction of formal interior operators.

Characterization of strict and final morphisms relative to these orders.

Abstract

Departing from a suitable categorical concept of topogenous orders defined relative to the bifibration of subobjects, this note introduces and studies topogenous orders on faithful and amnestic functors. Amongst other things, it is shown that this approach captures the formal closure operators and leads to the introduction of formal interior operators. Turning to special morphisms relative to the orders introduced, we show that a morphism is strict relative to an order if the order preserves codomains of its cocartesian liftings while a morphism is final if the order reflects domains of its cartesian liftings. Key examples in topology and algebra that demonstrate our results are included.