Order-enriched solid functors.

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

(strongly) order-solid functor ordered algebra ordered category weighted (co)limit

Ordered structures (06F99) Special properties of functors (faithful, full, etc.) (18A22) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Abstract: Order-enriched solid functors, as presented in this paper in two versions, enjoy many of the strong properties of their ordinary counterparts, including the transfer of the existence of weighted (co)limits from their codomains to their domains. The ordinary version of the notion first appeared in Trnkov'a's work on automata theory of the 1970s and was subsequently studied by others under various names, before being put into a general enriched context by Anghel. Our focus in this paper is on differentiating the order-enriched notion from the ordinary one, mostly in terms of the functor's behaviour with respect to specific weighted (co)limits, and on the presentation of examples, which include functors of general varieties of ordered algebras and special ones, such as ordered vector spaces.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Order-enriched solid functors.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5218977)