23 Aug
2008
23 Aug
'08
10:19 a.m.
L&S page 314 Ex. 1, "... uniqueness proposition to the effect that if M1, e1 and M2, e2 both serve as map objects with evaluation map for T -> Y, then there is a unique isomorphism between them which is compatible with the evaluation structures." Would this diagram be aiming in the right direction? http://carnot.yi.org/MapObjectUniqueness.jpg Thanks ... Peter E. -- http://members.shaw.ca/peasthope/ http://carnot.yi.org/ = http://carnot.pathology.ubc.ca/