Nantilus
Theories, sites, toposes : relating and studying mathematical theories through topos-theoretic 'bridges'
This book introduces a set of methods and techniques for studying mathematical theories and relating them to each other through the use of Grothendieck toposes
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Theories, sites, toposes : relating and studying mathematical theories through topos-theoretic 'bridges' / Olivia Caramello, Università degli Studi dell'Insubria - Como |
| Publié : |
Oxford :
Oxford University Press
, 2018 |
| Description matérielle : | 1 vol. (XII-368 p.) |
| Sujets : | |
| Documents associés : | Autre format:
Theories, Sites, Toposes |
| LEADER | 02085cam a2200553 4500 | ||
|---|---|---|---|
| 001 | PPN225617331 | ||
| 003 | http://www.sudoc.fr/225617331 | ||
| 005 | 20220518055500.0 | ||
| 010 | |a 978-0-19-875891-4 |b rel. | ||
| 020 | |a US |b 2016947978 | ||
| 020 | |a GB |b B703019 | ||
| 035 | |a (OCoLC)1030583985 | ||
| 035 | |a OUP_BOOKS_ST_9780198758914 | ||
| 073 | 1 | |a 9780198758914 | |
| 100 | |a 20180405h20182018k y0frey0103 ba | ||
| 101 | 0 | |a eng | |
| 102 | |a GB | ||
| 105 | |a a a 001yy | ||
| 106 | |a r | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 183 | |6 z01 |a nga |2 RDAfrCarrier | ||
| 200 | 1 | |a Theories, sites, toposes |e relating and studying mathematical theories through topos-theoretic 'bridges' |f Olivia Caramello, Università degli Studi dell'Insubria - Como | |
| 214 | 0 | |a Oxford |c Oxford University Press |d 2018 | |
| 215 | |a 1 vol. (XII-368 p.) |c ill., couv. ill. en coul. |d 24 cm | ||
| 320 | |a Bibliogr. p. [359]-362. Index | ||
| 330 | |a This book introduces a set of methods and techniques for studying mathematical theories and relating them to each other through the use of Grothendieck toposes | ||
| 452 | | | |0 230576141 |t Theories, Sites, Toposes |o Relating and studying mathematical theories through topos-theoretic 'bridges' |f Olivia Caramello |c Oxford |n Oxford University Press |d 2018 |y 978-0-19-181875-2 | |
| 606 | |3 PPN027706222 |a Topos (mathématiques) |2 rameau | ||
| 606 | |3 PPN027918602 |a Topique (logique) |2 rameau | ||
| 606 | |3 PPN027339521 |a Catégories (mathématiques) |2 rameau | ||
| 680 | |a QA169 |b .C33 2018 | ||
| 686 | |a hp |v v2-1 |2 BIC | ||
| 686 | |a pbm |v v2-1 |2 BIC | ||
| 686 | |a pb |v v2-1 |2 BIC | ||
| 686 | |a pda |v v2-1 |2 BIC | ||
| 686 | |a 03-02 |c 2020 |2 msc | ||
| 686 | |a 03G30 |c 2020 |2 msc | ||
| 686 | |a 18B25 |c 2020 |2 msc | ||
| 686 | |a 18C10 |c 2020 |2 msc | ||
| 700 | 1 | |3 PPN196210143 |a Caramello |b Olivia |4 070 | |
| 801 | 3 | |a FR |b Abes |c 20210126 |g AFNOR | |
| 801 | 1 | |b ERASA |g AACR2 | |
| 801 | 2 | |b BDX |g AACR2 | |
| 930 | |5 441092208:729404889 |b 441092208 |j u | ||
| 979 | |a CCFA | ||
| 998 | |a 926737 | ||