Professional Documents
Culture Documents
Continuous Theories
then
h 'gl ~ h ·g2·
Further, if Ii ~ gi : 1 --+ p, for each i E [n], then
Exercise 1.2 Show that an ordered theory morphism I{) between pointed
ordered theories is a pointed ordered theory morphism iff .1 10 1{) = .110' Thus
morphisms of pointed ordered theories are pointed theory morphisms as de-
fined in Section 3.5.
Exercise 1.3 Show that in any ordered theory, the order relation is deter-
mined by the order on the scalar morphisms, in that