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:
Published in | Mathematical structures in computer science Vol. 15; no. 5; pp. 825 - 838 |
---|---|
Main Author | |
Format | Journal Article |
Language | English |
Published |
Cambridge, UK
Cambridge University Press
01.10.2005
|
Online Access | Get full text |
Cover
Loading…
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 |