Next: References Up: An historical survey of Previous: Digression: Tarski's High School
Other classes of categories
More recent results by Soloviev also provide a complete axiomatization of the isomorphisms of types in Symmetric Monoidal Closed Categories. It suffices to drop the nonlinear axioms (axioms 4 and 6 of Table 1) of the theory for ccc's [Sol93].
Roberto Di Cosmo
Mon Aug 30 11:21:44 MET DST 1999