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

Higher topos theory / Jacob Lurie

Public ISBD Titre : Higher topos theory Type de document : texte imprimé Auteurs : Jacob Lurie, Auteur Editeur : Princeton : Princeton University Press Année de publication : 2009 Collection : Annals of Mathematics Studies num. 170 Importance : xv - 925 p. Présentation : ill. Format : 25 cm ISBN/ISSN/EAN : 978-0-691-14048-3 Langues : Anglais Catégories : 18-XX Category theory; homological algebra :18-02 Research exposition (monographs, survey articles) 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi 18-XX Category theory; homological algebra :18GXX Homological algebra :18G30 Simplicial sets, simplicial objects (in a category) 18-XX Category theory; homological algebra :18GXX Homological algebra :18G55 Homotopical algebra Mots-clés : toposes-category  topos  cohomology groups  homotopy theory  higher-order category theory  $n$-gerbe  $n$-stack  $n$-type  Giraud's theorem  Grothendieck topos  geometric topology  model category  simplicial set Index. décimale : 18C Monographie Higher topos theory [texte imprimé] / Jacob Lurie, Auteur . - Princeton : Princeton University Press, 2009 . - xv - 925 p. : ill. ; 25 cm. - (Annals of Mathematics Studies; 170) . ISBN : 978-0-691-14048-3 Langues : Anglais Catégories : 18-XX Category theory; homological algebra :18-02 Research exposition (monographs, survey articles) 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi 18-XX Category theory; homological algebra :18GXX Homological algebra :18G30 Simplicial sets, simplicial objects (in a category) 18-XX Category theory; homological algebra :18GXX Homological algebra :18G55 Homotopical algebra Mots-clés : toposes-category  topos  cohomology groups  homotopy theory  higher-order category theory  $n$-gerbe  $n$-stack  $n$-type  Giraud's theorem  Grothendieck topos  geometric topology  model category  simplicial set Index. décimale : 18C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19842	18A26	imprimé / autre	CRDM	18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE	Disponible
30134	LAREMA/LUR	imprimé / autre	Fédération FR 2962 - Angers	Angers Ouvrages	Disponible

Sketches of an elephant / Peter T. Johnstone

Public ISBD Titre : Sketches of an elephant : a topos theory compendium Type de document : texte imprimé Auteurs : Peter T. Johnstone Editeur : Oxford : Oxford university press Année de publication : 2002 Collection : Oxford logic guides num. 43-44 Importance : xxii, [472-]1089 p. Présentation : ill. Format : 25 cm. ISBN/ISSN/EAN : 978-0-19-853425-9 Langues : Anglais Mots-clés : Topos Index. décimale : 18A Sketches of an elephant : a topos theory compendium [texte imprimé] / Peter T. Johnstone . - Oxford : Oxford university press, 2002 . - xxii, [472-]1089 p. : ill. ; 25 cm.. - (Oxford logic guides; 43-44) . ISBN : 978-0-19-853425-9 Langues : Anglais Mots-clés : Topos Index. décimale : 18A

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
17927	18A23	imprimé / autre	CRDM	18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE	Disponible

Toposes, algebraic geometry and logic / Giraud, J. ; Bucur, I. ; N. Goodman

Public ISBD Titre : Toposes, algebraic geometry and logic Type de document : texte imprimé Auteurs : Giraud, J. ; Bucur, I. ; N. Goodman, Editeur scientifique Editeur : Springer-Verlag Année de publication : 1972 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 274 Importance : 189 p. ISBN/ISSN/EAN : 978-0-387-05920-4 Langues : Anglais Mots-clés : topos Index. décimale : LNM Toposes, algebraic geometry and logic [texte imprimé] / Giraud, J. ; Bucur, I. ; N. Goodman, Editeur scientifique . - [S.l.] : Springer-Verlag, 1972 . - 189 p.. - (Lecture Notes in Mathematics, ISSN 0075-8434; 274) . ISBN : 978-0-387-05920-4 Langues : Anglais Mots-clés : topos Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
7280	LNM/274	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

Relative category theory and geometric morphisms, a logical approach / Chapman, J.

Public ISBD Titre : Relative category theory and geometric morphisms, a logical approach Type de document : texte imprimé Auteurs : Chapman, J. ; Rowbottom, F. Editeur : Oxford : Clarendon Press Année de publication : 1992 Collection : Oxford logic guides num. 016 Importance : xi - 263 p. ISBN/ISSN/EAN : 978-0-19-853434-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18-02 Research exposition (monographs, survey articles) 18-XX Category theory; homological algebra :18AXX General theory of categories and functors:18A15 Foundations, relations to logic and deductive systems 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : indexed categories over a topos  local set theory  internal categories  geometric morphisms  mitchell-benabou language  formal language  topos Index. décimale : 18A Relative category theory and geometric morphisms, a logical approach [texte imprimé] / Chapman, J. ; Rowbottom, F. . - Oxford : Clarendon Press, 1992 . - xi - 263 p.. - (Oxford logic guides; 016) . ISBN : 978-0-19-853434-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18-02 Research exposition (monographs, survey articles) 18-XX Category theory; homological algebra :18AXX General theory of categories and functors:18A15 Foundations, relations to logic and deductive systems 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : indexed categories over a topos  local set theory  internal categories  geometric morphisms  mitchell-benabou language  formal language  topos Index. décimale : 18A

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
8824	18A59	imprimé / autre	CRDM	18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE	Disponible

Synthetic differential geometry / Anders Kock

Public ISBD Titre : Synthetic differential geometry Type de document : texte imprimé Auteurs : Anders Kock Mention d'édition : 2nd ed. Editeur : Cambridge University Press Année de publication : 2006 Collection : London Mathematical Society Lecture Note Series. num. 333 Importance : xii - 233 p. ISBN/ISSN/EAN : 978-0-521-68738-6 Note générale : commande C. Anné Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18FXX Categories and geometry:18F10 Grothendieck topologies 51-XX Geometry :51KXX Distance geometry:51K10 Synthetic differential geometry Mots-clés : topos  weil algebra  infinitesimal linearity  tangent vector Index. décimale : 51C Monographie Synthetic differential geometry [texte imprimé] / Anders Kock  . -  2nd ed. . - [S.l.] : Cambridge University Press, 2006 . - xii - 233 p.. - (London Mathematical Society Lecture Note Series.; 333) . ISBN : 978-0-521-68738-6 commande C. Anné Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18FXX Categories and geometry:18F10 Grothendieck topologies 51-XX Geometry :51KXX Distance geometry:51K10 Synthetic differential geometry Mots-clés : topos  weil algebra  infinitesimal linearity  tangent vector Index. décimale : 51C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
17679	51C88	imprimé / autre	CRDM	51/GEOMETRIE	Disponible