Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 219 p.
Various Publications Series , 0030
Localisation : Publication 1er étage
anneau local réel formellement # connexion en géométrie différentielle formelle # dynamique catégorique # méthde de théorie des topoi # stabilité infinitésimale # structure complexe en topos # subtopos du classificateur d'anneaux # théorie synthétique des champs de vecteurs # topologie pour géométrie algébrique réelle
03G30 ; 14-XX ; 18B25 ; 18Fxx ; 53-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- pag. mult.
Séminaire Bourbaki mars 2015
Localisation : Séminaire 1er étage
catégorie supérieure # théorie des topos # variété compacte à courbure négative # flot géodésique # fonction zêta # espace de Banach # opérateur scalaire # opérateur compact
18B25 ; 18G55 ; 37D40 ; 47B37
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 122 p.
Various Publications Series , 0025
Localisation : Publication 1er étage
complétude interne # construction imprédicative # foncteur # induction transfinie # logique # théorie des treillis # topos élémentaire
03G30 ; 18Axx ; 18B25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 486 p.
ISBN 978-0-444-85207-6
Studies in logic and the foundations of mathematics , 0098
Localisation : Ouvrage RdC (GOLD)
algèbre booléenne # arithmétique # axiome d'infinitude # colimite # constructivisme # espace topologique # factorisation d'images # faisceau # fibré # foncteur adjoint # fondement des mathématiques # intuitionisme # limite # logique # monomorphisme # oméga # philosophie des mathématiques # quantificateur # représentation d'objets # théorie des catégories # théorie des ensembles # topos # topoi # épimorphisme
03B20 ; 03C90 ; 03G30 ; 18B25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xii; 368 p.
ISBN 978-0-19-875891-4
Localisation : Ouvrage RdC (CARA)
topos de Grothendieck # topos classifiant # invariant des topos-théoriques # pont
03-02 ; 03G30 ; 18B25 ; 18C10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 225 p.
ISBN 978-3-540-36359-0
Lecture notes in mathematics , 1890
Localisation : Collection 1er étage
toposes # théorie des catégories # triples # recouvrement singulier
18B25 ; 06E15 ; 18C15 ; 57M12
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 627 p.
ISBN 978-0-387-97710-2
Universitext
Localisation : Ouvrage RdC (MACL)
faisceau # géométrie # logique # topologie # topologie étale # topos
03G30 ; 14F20 ; 18B25 ; 18F20 ; 54B40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-387-97710-2
Universitext
Localisation : Disparu
continuation de base de la topologie générale # faisceau # géométrie # logique # logique algébrique # logique catégorique # préfaisceau # théorie de la cohomologie # topologie de Grothendieck # topologie étale # topos
03G30 ; 14F20 ; 18B25 ; 18F20 ; 54B40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 261 p.
ISBN 978-0-521-01060-3
Localisation : Ouvrage RdC (LAWV)
théorie des ensembles # logique # philosophie des mathématiques # catégorie des ensembles # limite inverse finie # axiome du choix
03E99 ; 03-02 ; 03A05 ; 18B05 ; 03E20 ; 03G30 ; 18B25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-8218-2168-8
Memoirs of the american mathematical society , 0705
Localisation : Collection 1er étage
application propre # application propre au topos # mathématique propre # topos
18B25 ; 18F10 ; 22A22
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 290 p.
ISBN 978-981-02-0153-1
Localisation : Ouvrage RdC (WYLE)
catégorie spéciale # logique catégorique # topoi
03G30 ; 18B25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 140 p.
ISBN 978-2-85629-181-8
Astérique , 0301
Localisation : Salle de périodique 1er étage
asphérique # catégorie test # colimite homotopique # ensemble simplicial # équivalence faible # extension de Kan homotopique # foncteur lisse # foncteur propre # homotopie # localisation # modélisateur # préfaisceau
14F20 ; 14F35 ; 18B25 ; 18F20 ; 18G10 ; 18G30 ; 18G50 ; 18G55 ; 55P10 ; 55P15 ; 55P60 ; 55Q05 ; 55U10 ; 55U35 ; 55U40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xv; 925 p.
ISBN 978-0-691-14048-3
Annals of mathematics studies , 0170
Localisation : Ouvrage RdC (LURI)
topos # catégories # algèbre homotopique non abélienne # ∞-catégorie # ∞-topos # groupe de cohomologie # théorie de l'homotopie # catégorie d'ordre supérieur # théorème de Giraud # topos de Grothendieck # topologie géométrique # catégorie de modèles # ensemble simplicial
18-02 ; 18B25 ; 18G30 ; 18G55 ; 18F20
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- v; 120 p.
ISBN 978-1-4704-4144-9
Memoirs of the American Mathematical Society , 1282
Localisation : Collection 1er étage
topos à l'infini # empilement élevé # empilement de Deligne-Mumford # orbifold
18B25 ; 14D23 ; 58A03
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 522 p.
ISBN 978-0-521-44180-3
Encyclopedia of mathematics and its applications , 0052
Localisation : Collection 1er étage
algèbre catégorique # algèbre de Heyting # axiome d'infinité # calcul propositionnel intuitimiste # espace sobre # faisceau # faisceau en topos # locale # logique interne de topos # loi du milieu exclu # scène # topos classifiant # topos de Grothendieck # topos élémentaire
03G30 ; 18B25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-8218-2543-3
Memoirs of the american mathematical society , 0482
Localisation : Collection 1er étage
G- équival ent # G-adjoint # G-catégorie # G-en semble partiel # G-foncteur catégorie # G-limite # G-représentable # G-topos # adjoint transversalisé # capable de G-topos # fermé stablement # fonction transversalisé # limite stable # limite transverse # réflexion stable # sou scatégories stable # transformation G-naturelle # équivalent transverse
18A35 ; 18A40 ; 18B25 ; 18C15 ; 18D05
... Lire [+]