Lauri Tart

On weighted order colimits and enriched points

We present the notion of a weighted colimit from enriched category theory in the special case of order-enriched categories (specifically categories of ordered acts). This is followed by a discussion of convenient conceptual reformulations of the definition of weighted colimit for ordered acts and some important special colimits. Finally, we use the preceding work to arrive at a proper enriched presentation of order-geometric morphisms.