Hostname: page-component-745bb68f8f-d8cs5 Total loading time: 0 Render date: 2025-02-09T09:29:09.454Z Has data issue: false hasContentIssue false
  • English
  • Français

A short survey of isomorphisms of types

Published online by Cambridge University Press:  04 October 2005

ROBERTO DI COSMO
ROBERTO DI COSMO
Affiliation:
Preuves Programmes Systèmes, CNRS – Université Paris VII, UMR 7126 – Case 7014, 2, place Jussieu – 75251 Paris Cedex 05 – FRANCEhttp://www.dicosmo.org Email: roberto@dicosmo.org
Get access Rights & Permissions [Opens in a new window]

Abstract

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

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 15 , Issue 5 , October 2005 , pp. 825 - 838
Copyright
2005 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)