Category Pos

1. Definition

The Category of Pos contains:

  1. partially ordered sets as objects
  2. weakly monotone maps as morphisms

Date: nil

Author: Anton Zakrewski

Created: 2024-10-11 Fr 22:01