Mathematical Structures in Computer Science


A short survey of isomorphisms of types

a1 Preuves Programmes Systèmes, CNRS – Université Paris VII, UMR 7126 – Case 7014, 2, place Jussieu – 75251 Paris Cedex 05 – FRANCE Email:

Article author query
di cosmo r   [Google Scholar] 

We were all taught in high school that two objects $A$ and $B$ are isomorphic iff there exist two functions $f$ and $g$ such that

(Published Online October 4 2005)
(Received July 15 2004)
(Revised April 13 2005)