A short survey of isomorphisms of types

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

Saved in:
Bibliographic Details
Published inMathematical structures in computer science Vol. 15; no. 5; pp. 825 - 838
Main Author DI COSMO, ROBERTO
Format Journal Article
LanguageEnglish
Published Cambridge, UK Cambridge University Press 01.10.2005
Online AccessGet full text

Cover

Loading…
More Information
Summary: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
Bibliography:istex:6F21579F557D01A216F9508D57B904981383D5A7
PII:S0960129505004871
ark:/67375/6GQ-7JWF3L1C-N
ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0960-1295
1469-8072
DOI:10.1017/S0960129505004871