16 Mar
2009
16 Mar
'09
2:35 a.m.
Lawvere & Schanuel use a horizontal line notation. Page 326 for example. X --> 1^T --------- TxX --> 1 This is unfamiliar. Does the line have a name? How is it read? I'll guess either "(X --> 1^T) is equivalent to (TxX --> 1)" or "(X --> 1^T) is isomorphic to (TxX --> 1)". Thanks, ... Peter E. -- http://members.shaw.ca/peasthope/ http://carnot.yi.org/ = http://carnot.pathology.ubc.ca/