5 résultat(s) recherche sur le mot-clé 'théorie des topos'    

Groupoïde fondamental et théorème de Van Kampen en théorie des topos / Olivier LEROY (1979)

Public ISBD Titre : Groupoïde fondamental et théorème de Van Kampen en théorie des topos Type de document : texte imprimé Auteurs : Olivier LEROY, Auteur Editeur : Montpellier : Université des sciences et techniques du Languedoc. U.E.R. de mathématiques Année de publication : 1979 Importance : 62 p. Note générale : Thèse spécialité : mathématiques pures et appliquées Langues : Français Mots-clés : groupoïde fondamental  théorème de Van Kampen  théorie des topos Groupoïde fondamental et théorème de Van Kampen en théorie des topos [texte imprimé] / Olivier LEROY, Auteur . - Montpellier : Université des sciences et techniques du Languedoc. U.E.R. de mathématiques, 1979 . - 62 p. Thèse spécialité : mathématiques pures et appliquées Langues : Français Mots-clés : groupoïde fondamental  théorème de Van Kampen  théorie des topos

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
5872	T/LER/MTP	Livre	Recherche	Salle	Consultable sur place Exclu du prêt

Sheaves in geometry and logic / Saunders Mac LANE (cop. 1992)

Public ISBD Titre : Sheaves in geometry and logic : a first introduction to topos theory Type de document : texte imprimé Auteurs : Saunders Mac LANE, Auteur ; Ieke MOERDIJK, Auteur Editeur : Berlin : Springer-Verlag Année de publication : cop. 1992 Collection : Universitext, ISSN 0172-5939 Importance : 629 p. ISBN/ISSN/EAN : 978-0-387-97710-2 Langues : Anglais Catégories : 03G30 14F20 18B25 18F20 54B40 Mots-clés : foncteur  ensemble  théorie des topos  morphisme Note de contenu : index, bibliogr. Sheaves in geometry and logic : a first introduction to topos theory [texte imprimé] / Saunders Mac LANE, Auteur ; Ieke MOERDIJK, Auteur . - Berlin : Springer-Verlag, cop. 1992 . - 629 p.. - (Universitext, ISSN 0172-5939) . ISBN : 978-0-387-97710-2 Langues : Anglais Catégories : 03G30 14F20 18B25 18F20 54B40 Mots-clés : foncteur  ensemble  théorie des topos  morphisme Note de contenu : index, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21425	MAC/02 /9092	Livre	Recherche	Salle	Disponible
9817	MAC/02/6579	Livre	Recherche	Salle	Disponible

Sketches of an elephant. Volume 1 / P. T. JOHNSTONE (Cop. 2002)

Public ISBD Titre : Sketches of an elephant. Volume 1 : a topos theory compendium Type de document : texte imprimé Auteurs : P. T. JOHNSTONE, Auteur Editeur : Oxford : Clarendon Press Année de publication : Cop. 2002 Collection : Oxford logic guides num. 43 ISBN/ISSN/EAN : 978-0-19-853425-9 Langues : Anglais Mots-clés : théorie des topos Résumé : Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and thereby to demonstrate the overall unity of the subject. The material is organized in such a way that readers interested in following a particular line of approach may do so by starting at an appropriate point in the text. Note de contenu : index, bibliogr. Sketches of an elephant. Volume 1 : a topos theory compendium [texte imprimé] / P. T. JOHNSTONE, Auteur . - Oxford : Clarendon Press, Cop. 2002. - (Oxford logic guides; 43) . ISBN : 978-0-19-853425-9 Langues : Anglais Mots-clés : théorie des topos Résumé : Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and thereby to demonstrate the overall unity of the subject. The material is organized in such a way that readers interested in following a particular line of approach may do so by starting at an appropriate point in the text. Note de contenu : index, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21725	JOH/03/10135-I	Livre	Recherche	Salle	Disponible

Sketches of an elephant. Volume 2 / P. T. JOHNSTONE (Cop. 2002)

Public ISBD Titre : Sketches of an elephant. Volume 2 : a topos theory compendium Type de document : texte imprimé Auteurs : P. T. JOHNSTONE, Auteur Editeur : Oxford : Clarendon Press Année de publication : Cop. 2002 Collection : Oxford logic guides num. 44 ISBN/ISSN/EAN : 978-0-19-851598-2 Langues : Anglais Mots-clés : théorie des topos Résumé : Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and thereby to demonstrate the overall unity of the subject. The material is organized in such a way that readers interested in following a particular line of approach may do so by starting at an appropriate point in the text. Note de contenu : index, bibliogr. Sketches of an elephant. Volume 2 : a topos theory compendium [texte imprimé] / P. T. JOHNSTONE, Auteur . - Oxford : Clarendon Press, Cop. 2002. - (Oxford logic guides; 44) . ISBN : 978-0-19-851598-2 Langues : Anglais Mots-clés : théorie des topos Résumé : Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and thereby to demonstrate the overall unity of the subject. The material is organized in such a way that readers interested in following a particular line of approach may do so by starting at an appropriate point in the text. Note de contenu : index, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21716	JOH/03/10135-II	Livre	Recherche	Salle	Disponible

Topos theory / P. T. JOHNSTONE (1977)

Public ISBD Titre : Topos theory Type de document : texte imprimé Auteurs : P. T. JOHNSTONE, Auteur Editeur : Amsterdam : Academic Press Année de publication : 1977 Collection : London mathematical society monographs, ISSN 0076-0560 num. 10 Importance : XX-367 p. ISBN/ISSN/EAN : 978-0-12-387850-2 Langues : Anglais Mots-clés : théorie des topos  topologie  morphisme géométrique  théorème de deligne  théorème de Barr  cohomologie Note de contenu : index, bibliogr. Topos theory [texte imprimé] / P. T. JOHNSTONE, Auteur . - Amsterdam : Academic Press, 1977 . - XX-367 p.. - (London mathematical society monographs, ISSN 0076-0560; 10) . ISBN : 978-0-12-387850-2 Langues : Anglais Mots-clés : théorie des topos  topologie  morphisme géométrique  théorème de deligne  théorème de Barr  cohomologie Note de contenu : index, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
23429	JOH/18/13230	Livre	Recherche	Salle	Disponible
2422	JOH/18/5068	Livre	Recherche	Salle	Disponible