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-9971-50-966-8
Localisation : Colloque 1er étage (PRAG)
algebre # analyse fonctionnelle # combinatoire # topologie # topologie categorique
55U40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-3-88538-005-4
Sigma series in pure mathematics , 0005
Localisation : Colloque 1er étage (TOKY)
theory des anneau
16A90 ; 55U40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Research talks;Algebra;Logic and Foundations;Topology
A system of dependent type theory T gives rise to a natural transformation p : Terms $\to$ Types of presheaves on the category Ctx of contexts, termed a "natural model of T". This map p in turn determines a polynomial endofunctor P : $\widehat{Ctx}$ $\to$ $\widehat{Ctx}$ on the category of all presheaves. It can be seen that P has the structure of a monad just if T has $\Sigma$-types and a terminal type, and that p is itself a P-algebra just if T has $\Pi$-types. I will explain this rather unexpected connection between type theories and polynomial monads, and will welcome any insights from the other participants regarding it.
A system of dependent type theory T gives rise to a natural transformation p : Terms $\to$ Types of presheaves on the category Ctx of contexts, termed a "natural model of T". This map p in turn determines a polynomial endofunctor P : $\widehat{Ctx}$ $\to$ $\widehat{Ctx}$ on the category of all presheaves. It can be seen that P has the structure of a monad just if T has $\Sigma$-types and a terminal type, and that p is itself a P-algebra just if ...
03B15 ; 03G30 ; 03F35 ; 55Pxx ; 55U40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 304 p.
ISBN 978-90-277-2627-8
Mathematics and its applications
Localisation : Ouvrage RdC (PREU)
algèbre topologique # catégorie # théorie des catégories
18A40 ; 55U40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xiv; 273 p.
ISBN 978-1-107-49902-7
London mathematical society student texts , 0090
Localisation : Collection 1er étage
homotopie # théorie des catégories # modélisation # strcuture du modèle # catégorie simple # catégorie de Segal # espace complet de Segal # quasi-catégorie # catégorie relative
18-02 ; 18D05 ; 55U40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 184 p.
ISBN 978-0-691-15775-7
Annals of mathematics studies , 0186
Localisation : Ouvrage RdC (WALD)
h-cobordisme # K-théorie algébrique # variété PL
57-02 ; 57Q20 ; 57Q25 ; 55U40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 184 p.
ISBN 978-0-691-15776-4
Annals of mathematics studies , 0186
Localisation : Ouvrage RdC (WALD)
h-cobordisme # K-théorie algébrique # variété PL
57-02 ; 57Q20 ; 57Q25 ; 55U40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- ix; 186 p.
ISBN 978-3-0348-0051-8
Advanced courses in mathematics - CRM Barcelona
Localisation : Ouvrage RdC (MOER)
théorie des catégories # méthode simpliciale # champ # opérade # théorie des modèles # géométrie algébrique
55U40 ; 18G30 ; 55P48 ; 18D50 ; 18F10 ; 14A20 ; 18-02 ; 18E30
... 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.
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; 358 p.
ISBN 978-3-319-20546-5
Lecture notes in mathematics , 2147
Localisation : Collection 1er étage
opérade # propérade # catégorie # quasi-catégorie # graphe # homotopie
18-02 ; 18D50 ; 18D15 ; 55P48 ; 55U10 ; 05C99 ; 55U40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xviii; 634 p.
ISBN 978-0-521-51695-2
New mathematical monographs , 0019
Localisation : Ouvrage RdC (SIMP)
homotopie # catégorie # machine de Segal # quasi-catégorie # conjecture de stabilisation de Baez-Dolan # localisation # cobordisme # champ topologique # théorie conforme des champs # invariant de noeuds # groupoïde # catégorie dérivée # cofibration # catégorie simpliciale # ensemble simplicial # application de Segal # théorème de Smith # cohomologie non abélienne # catégorie monoïdale tressée # pré-catégorie de Segal # catégorie de Segal # localisation de Bousfield # complexe cellulaire
homotopie # catégorie # machine de Segal # quasi-catégorie # conjecture de stabilisation de Baez-Dolan # localisation # cobordisme # champ topologique # théorie conforme des champs # invariant de noeuds # groupoïde # catégorie dérivée # cofibration # catégorie simpliciale # ensemble simplicial # application de Segal # théorème de Smith # cohomologie non abélienne # catégorie monoïdale tressée # pré-catégorie de Segal # catégorie de Segal # ...
18-02 ; 18D05 ; 18G55 ; 55P99 ; 55U40 ; 55U35
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 224 p.
ISBN 978-0-8218-4099-3
Memoirs of the american mathematical society , 0902
Localisation : Collection 1er étage
géométrie algébrique # théorie des ensemble # homologie # catégorie dans la théorie des faisceaux # algèbre homotopique non-abélienne # pile algébrique
14A20 ; 18G55 ; 18F10 ; 55U40 ; 55P43 ; 18F20 ; 18D10 ; 18E30 ; 18G35 ; 18G30 ; 13D10 ; 55N34
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xi; 102 p.
ISBN 978-2-85629-293-8
Astérisque , 0333
Localisation : Périodique 1er étage
théorème du point fixe de Lefschetz # bicatégorie monoïdale # nombre de lefschtz # trace de Reidemeister # théorie du point fixe de Nielsen
18-02 ; 18D05 ; 18D10 ; 55M20 ; 55U40 ; 55-02
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- vii; 161 p.
ISBN 978-2-85629-852-7
Astérisque , 0387
Localisation : Périodique 1er étage
catégorie de Feynamn # catégorie modale # catégorie monoïdale # foncteur monoïdal # graphe # extension de Kan # opérade # PROPs # opérade modulaire # opérade modulaire torsadée # opération universelle # support de Gerstenhaber # algèbre pré-Lie # algèbre BV # bi-algèbre # algèbre de Hopf # transformée de Feynman # équation maître # opétopique # catégorie enrichie # adjonction de Quillen # construction W
18D10 ; 55U35 ; 18D99 ; 55P48 ; 18D50 ; 81Q05 ; 18C15 ; 18D20 ; 18D25 ; 18G55 ; 55U40 ; 81T30 ; 81T18 ; 16T05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xxxi; 311 p.
ISBN 978-1-4704-2197-7
Mathematical surveys and monographs , 0203
Localisation : Collection 1er étage
opérade # module # groupe de permutations # théorie des graphes # catégorie
18D99 ; 55U40 ; 13D10 ; 81T30 ; 18-02 ; 18D50 ; 18B40 ; 81T45
... Lire [+]
