Category: DCPO

DCPO is the category whose objects are directed-complete partial orders and arrows are Scott-continuous maps.

Facts Derived from Enrichment

Notable Subcategories

Limits

Colimits

categories: DCPO

This data as json

name objects_hr arrows_hr
DCPO directed-complete partial orders Scott-continuous maps

Links from other tables