liamoc.net
my forest
1\title{The [category](dm-000G) #{\mathbf{Cpo_\bot}}}
2\author{liamoc}
3\taxon{Definition}
4\p{
5 The [category](dm-000G) #{\mathbf{Cpo_\bot}} is the [category](dm-000G) where the objects are [cpos](dt-001D), the morphisms are [\em{strict} continuous functions](dt-003F) between these [cpos](dt-001D), and composition and identity are [as in #{\mathbf{Cpo}}](dt-002B).
6}