Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Isomorphism is equality… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Isomorphism is equality

Artikel i vetenskaplig tidskrift
Författare Thierry Coquand
Nils Anders Danielsson
Publicerad i Indagationes mathematicae
Volym 24
Nummer/häfte 4
Sidor 1105-1120
ISSN 0019-3577
Publiceringsår 2013
Publicerad vid Institutionen för data- och informationsteknik, datavetenskap, programmeringslogik (GU)
Sidor 1105-1120
Språk en
Länkar dx.doi.org/10.1016/j.indag.2013.09....
Ämneskategorier Teoretisk datalogi

Sammanfattning

The setting of this work is dependent type theory extended with the univalence axiom. We prove that, for a large class of algebraic structures, isomorphic instances of a structure are equal-in fact, isomorphism is in bijective correspondence with equality. The class of structures includes monoids whose underlying types are "sets", and also posets where the underlying types are sets and the ordering relations are pointwise "propositional". For monoids on sets equality coincides with the usual notion of isomorphism from universal algebra, and for posets of the kind mentioned above equality coincides with order isomorphism. (C) 2013 Royal Dutch Mathematical Society (KWG). Published by Elsevier B.V. All rights reserved.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?