my forest
dt typo (thanks @byorgey)
+1
-1
+1
-1
trees/dt/dt-002C.tree
+1
-1
trees/dt/dt-002C.tree
···
9
9
\li{ #{(f \times g) \circ \langle h , i \rangle = \langle f \circ h, g \circ i \rangle}}
10
10
\li{ #{\langle f , g \rangle \circ h = \langle f \circ h, g \circ h \rangle}}
11
11
\li{ #{\mathsf{id}_A \times \mathsf{id}_B = \mathsf{id}_{A \times B} \quad (*)}}
12
-
\li{ #{(f \circ g) \times (h \circ i) = (f \circ h) \times (g \circ i) \quad (**)}}
12
+
\li{ #{(f \circ g) \times (h \circ i) = (f \times h) \circ (g \times i) \quad (**)}}
13
13
}
14
14
\p{
15
15
These last two statements #{(*)} and #{(**)} show that #{\times} is a [bifunctor](dm-000M) on the [category #{\textbf{Cpo}}](dt-002B), i.e., a [functor](dm-000J) #{\textbf{Cpo} \times \textbf{Cpo} \rightarrow \textbf{Cpo}}.