A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 18-XX Category theory; homological algebra > 18BXX Special categories > 18B25 Topoi
18B25 Topoi
Voir aussi
Affiner la recherche
an Extension of the Galois theory of Grothendieck / André Joyal
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15165 Mem/309 imprimé / autre CRDM Mem/MEMOIRS AMS Disponible Categories, allegories / Freyd, Peter J.
Titre : Categories, allegories Type de document : texte imprimé Auteurs : Freyd, Peter J. ; Scedrov, André Editeur : North-Holland Année de publication : 1990 Collection : North-Holland Mathematical Library num. 39 Importance : xvii - 296 p. ISBN/ISSN/EAN : 978-0-444-70368-2 Langues : Anglais Catégories : 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.)
18-XX Category theory; homological algebra :18-02 Research exposition (monographs, survey articles)
18-XX Category theory; homological algebra :18BXX Special categories:18B25 TopoiMots-clés : allegories topoi sheaves adjoint functors natural transformations geometric logic Index. décimale : 18A Categories, allegories [texte imprimé] / Freyd, Peter J. ; Scedrov, André . - [S.l.] : North-Holland, 1990 . - xvii - 296 p.. - (North-Holland Mathematical Library; 39) .
ISBN : 978-0-444-70368-2
Langues : Anglais
Catégories : 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.)
18-XX Category theory; homological algebra :18-02 Research exposition (monographs, survey articles)
18-XX Category theory; homological algebra :18BXX Special categories:18B25 TopoiMots-clés : allegories topoi sheaves adjoint functors natural transformations geometric logic Index. décimale : 18A Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 14599 18A60 imprimé / autre CRDM 18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE Disponible Categories of commutative algebras / Diers, Yves
Titre : Categories of commutative algebras Type de document : texte imprimé Auteurs : Diers, Yves Mention d'édition : 1 Editeur : Oxford : Clarendon Press Année de publication : 1992 Importance : ix - 271 p. ISBN/ISSN/EAN : 978-0-19-853586-7 Langues : Anglais Catégories : 13-XX Commutative rings and algebras:13-02 Research exposition (monographs, survey articles)
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 :18EXX Abelian categories:18E35 Localization of categories
18-XX Category theory; homological algebra :18FXX Categories and geometry:18F05 Local categories and functors
18-XX Category theory; homological algebra :18FXX Categories and geometry:18F20 Presheaves and sheavesMots-clés : chevalley's theorem etale morphisms flatness neatness zariski toposes algebraic varieties spectra schemes zariski categories categories of commutative algebras universal properties category of commutative rings commutative algebra Index. décimale : 18A Categories of commutative algebras [texte imprimé] / Diers, Yves . - 1 . - Oxford : Clarendon Press, 1992 . - ix - 271 p.
ISBN : 978-0-19-853586-7
Langues : Anglais
Catégories : 13-XX Commutative rings and algebras:13-02 Research exposition (monographs, survey articles)
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 :18EXX Abelian categories:18E35 Localization of categories
18-XX Category theory; homological algebra :18FXX Categories and geometry:18F05 Local categories and functors
18-XX Category theory; homological algebra :18FXX Categories and geometry:18F20 Presheaves and sheavesMots-clés : chevalley's theorem etale morphisms flatness neatness zariski toposes algebraic varieties spectra schemes zariski categories categories of commutative algebras universal properties category of commutative rings commutative algebra Index. décimale : 18A Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1893 18A06 imprimé / autre CRDM 18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE Disponible Duality and definability in first order logic / Michael Makkai
Titre : Duality and definability in first order logic Type de document : texte imprimé Auteurs : Michael Makkai Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1993 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 503 Importance : 106 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C20 Ultraproducts and related constructions
03-XX Mathematical logic and foundations:03CXX Model theory:03C40 Interpolation, preservation, definability
03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi
18-XX Category theory; homological algebra :18BXX Special categories:18B25 TopoiMots-clés : boolean pretoposes stone-type adjunction duality beth's theorem for propositional logic definable functors factorizations in 2-categories category of models ultraproduct definability first order logic Index. décimale : Mem Duality and definability in first order logic [texte imprimé] / Michael Makkai . - Providence, R.I. : American Mathematical Society, 1993 . - 106 p. . - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 503) .
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C20 Ultraproducts and related constructions
03-XX Mathematical logic and foundations:03CXX Model theory:03C40 Interpolation, preservation, definability
03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi
18-XX Category theory; homological algebra :18BXX Special categories:18B25 TopoiMots-clés : boolean pretoposes stone-type adjunction duality beth's theorem for propositional logic definable functors factorizations in 2-categories category of models ultraproduct definability first order logic Index. décimale : Mem Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15096 Mem/503 imprimé / autre CRDM Mem/MEMOIRS AMS Disponible Forcing and classifying topoi / Scedrov, Andrej
Titre : Forcing and classifying topoi Type de document : texte imprimé Auteurs : Scedrov, Andrej Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1984 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 295 Importance : x - 93 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory:03E40 Other aspects of forcing and Boolean-valued models
03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi
18-XX Category theory; homological algebra :18BXX Special categories:18B25 TopoiMots-clés : geometric realization functor simplicial sets generic model independence results forcing geometric theories geometric logic classifying topos Index. décimale : Mem Forcing and classifying topoi [texte imprimé] / Scedrov, Andrej . - Providence, R.I. : American Mathematical Society, 1984 . - x - 93 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 295) .
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory:03E40 Other aspects of forcing and Boolean-valued models
03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi
18-XX Category theory; homological algebra :18BXX Special categories:18B25 TopoiMots-clés : geometric realization functor simplicial sets generic model independence results forcing geometric theories geometric logic classifying topos Index. décimale : Mem Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15174 Mem/295 imprimé / autre CRDM Mem/MEMOIRS AMS Disponible Handbook of Categorical Algebra 3: Categories of Sheaves / Borceux, Francis
PermalinkHigher topos theory / Jacob Lurie
PermalinkProper maps of toposes / Moerdijk, I.
PermalinkRelative category theory and geometric morphisms, a logical approach / Chapman, J.
PermalinkSets for mathematics / F.William Lawvere
PermalinkSheaves in geometry and logic / Saunders Mac Lane
Permalinkla Théorie de l'homotopie de Grothendieck / Maltsiniotis, G.
PermalinkToposes and local set theories / John Lane Bell
PermalinkToposes, triples and theories / Barr, M.
Permalink