m

F Nous contacter

0

Documents  55U40 | enregistrements trouvés : 19

O
     

-A +A

P Q

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.


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.

- viii; 323 p.
ISBN 978-1-4704-1557-0

Contemporary mathematics , 0643

Localisation : Collection 1er étage

préfaisceau algébrique # topologie algébrique # géométrie algébrique # théorie des catégories # faisceau

14D23 ; 14D05 ; 18E30 ; 18D05 ; 18D10 ; 18G30 ; 55P43 ; 57R56 ; 55U40 ; 81T45 ; 14-06 ; 18-06 ; 14A20 ; 14F05 ; 14F10 ; 18F99 ; 16G20 ; 53D12 ; 00B25

... 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.

- 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.

- 392 p.
ISBN 978-2-85629-225-9

Astérisque , 0308

Localisation : Périodique 1er étage

homotopie # catégorie de modèles # préfaisceau # catégorie test locale # extension de Kan homotopique # théorie de l'homotopie équivariante

55-02 ; 18F20 ; 18G50 ; 18G55 ; 18G30 ; 54B30 ; 54B40 ; 55P57 ; 55P60 ; 55P92 ; 55U35 ; 55U40

... 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.

- 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.

- 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; 354 p.
ISBN 978-0-8218-5195-1

Proceedings of symposia in pure mathematics , 0083

Localisation : Collection 1er étage

théorie quantique # corps topologiques # operades # catégories topologiques # théories des chaînes

81T45 ; 81T40 ; 81T30 ; 81T05 ; 81T60 ; 18D05 ; 18D50 ; 55N34 ; 55U40 ; 81-06 ; 00B25 ; 81Txx ; 70S05 ; 00B15

... 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.

- 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.

- 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.

- 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 [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- x; 497 p.
ISBN 978-2-85629-836-7

Astérisque , 0380

Localisation : Périodique 1er étage

combinatoire # théorie des catégories # théorie des topos supérieurs # théorie de la mesure géométrique # équation aux dérivées partielles # théorie spectrale # géométrie différentielle # théorie ergodique # théorie géométrique des groupes # géométrie algébrique # représentation galoisienne # point rationnel

20F65 ; 20F67 ; 20F06 ; 57M50 ; 20F28 ; 14E07 ; 18A25 ; 06A07 ; 16P40 ; 18A40 ; 18E15 ; 20J06 ; 55S10 ; 35Q31 ; 37C40 ; 37D25 ; 37D40 ; 49Q15 ; 49Q20 ; 49N60 ; 35B50 ; 35P15 ; 53C44 ; 53A10 ; 53C55 ; 53C25 ; 14J45 ; 32Q20 ; 32W20 ; 11G35 ; 14G25 ; 18-02 ; 18B25 ; 18E35 ; 18G30 ; 18G55 ; 55U40 ; 53D25 ; 37C30 ; 37D20 ; 46B20 ; 46A32 ; 46B28 ; 47A15 ; 05B05 ; 05D40 ; 05C70 ; 51E05 ; 05B40 ; 14E05 ; 14L30 ; 19E08 ; 13A18 ; 11F75 ; 11G18 ; 14L05 ; 14G35 ; 14G22 ; 20H10 ; 30F60 ; 32G15 ; 53C50

... 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.

- 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.

- 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 [+]

Z