m

F Nous contacter

0

Documents  03G30 | enregistrements trouvés : 28

O

-A +A

P Q

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

- x; 426 p.
ISBN 978-0-8218-7281-9

CRM proceedings & lecture notes , 0053

Localisation : Collection 1er étage

théorie des modèles # catégories # théorie de la classification # catégories fibrées

03-06 ; 03C45 ; 03C52 ; 03C90 ; 03G30 ; 18C10 ; 18D05 ; 18D30 ; 00B25 ; 00B30

... Lire [+]

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

- 381 p.
ISBN 978-0-521-60857-2

London mathematical society lecture note series , 0316

Localisation : Collection 1er étage

théorie de la démonstration # logique linéaire # calcul lambda # théorie des catégories # programmation logique # système distribué # linguistique # logique et mécanique quantique

03B20 ; 03B35 ; 03B40 ; 03B47 ; 03B65 ; 03B70 ; 03F03 ; 03F05 ; 03F07 ; 03F52 ; 03G30 ; 18C50 ; 68Q05 ; 68Q10 ; 68Q55 ; 68T50 ; 81P10

... Lire [+]

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.

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


ISBN 978-0-8405-0352-7

SMS (Séminaires de Mathématiques Supérieures) , 0053

Localisation : Salle de manutention

connecteur logique # langage d'un topos # logique des topos # non-validité du tiers exclu # quantificateur existentiel # quantificateur universel # représentabilité du foncteur "applications partielles" # théorie de Mikkelsen # topologie de la double négation # topos élémentaire # union finie de sous-objets # valeur faux

03G30

... Lire [+]

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

- 779 p.
ISBN 978-3-540-09564-4

Lecture notes in mathematics , 0753

Localisation : Collection 1er étage

03C90 ; 03G30 ; 14Fxx ; 18F20 ; 55N30

... Lire [+]

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

- 326 p.
ISBN 978-3-540-10708-8

Lecture notes in mathematics , 0859

Localisation : Collection 1er étage

03Cxx ; 03Dxx ; 03F30 ; 03G30 ; 3-06

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

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

- xii; 417 p.
ISBN 978-0-521-77911-1

Cambridge tracts in theoretical computer science , 0043

Localisation : Ouvrage RdC (TROE)

théorie de la démonstration # logique minimale # logique classique # logique intuitioniste # système naturel de déduction # calcul des séquents # normalisation forte # interpolation # logique combinatoire # logique catégorique # théorème de cohérence # logique linéaire # arithmétique de Heyting # résolution # logique modale

03F03 ; 03-02 ; 03-01 ; 03F52 ; 68N17 ; 03F05 ; 03B40 ; 03G30 ; 03B45 ; 03F30 ; 03F35 ; 03B70

... Lire [+]

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

- xii; 233 p.
ISBN 978-0-521-68738-6

London mathematical society lecture note series , 0333

Localisation : Collection 1er étage

géométrie différentielle # linéarité infinitésimale # micro-linéarité # élément nilpotent # théorie des catégories # catégorie cartésienne fermée

51K10 ; 03G30 ; 18F10 ; 51-01 ; 18-01 ; 58A10

... Lire [+]

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

- xvi, 275 p.
ISBN 978-2-85629-273-0

Panoramas et synthèses , 0027

Localisation : Collection 1er étage

Théorie de la démonstration # réalisabilité # machines abstraites # logique linéaire # sémantique des jeux

03F05 ; 03F52 ; 68Q55 ; 03B40 ; 03B70 ; 03G30 ; 68N18 ; 68N20

... Lire [+]

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

- 256 p.
ISBN 978-0-19-856861-2

Oxford logic guides , 0049

Localisation : Ouvrage RDC (AWOD)

catégorie # logique # dualité # foncteur # catégorie de diagramme

18-01 ; 03-01 ; 03G30 ; 18A25

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

- 572 p.
ISBN 978-0-521-63107-5

Cambridge studies in advanced mathematics , 0059

Localisation : Ouvrage RdC (TAYL)

logique # philosophie des mathématiques # logique d'ordre supérieur # théorie des types # logique combinatoire # logique catégorique # théorie des catégories # treillis # catégorie cartésienne fermée # limite # adjonction entre syntaxe et sémantique # catégorie syntaxique # récurrence structurelle

00A30 ; 03-02 ; 03B15 ; 03B40 ; 03G30 ; 18-02

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

- 122 p.
ISBN 978-0-521-55830-3

London mathematical society lecture note series , 0220

Localisation : Collection 1er étage

algèbre de Zermelo- Fraenkel # application finie de Kuratowski # axiome pour théorie des ensembles # descente # ensemble et classe # faisceau sur site # nomade et algèbre à successeur # ordinal de Von Neumann # pretopos de Heyting # théorie axiomatique des petites applications # théorie des ensembles algébriques # théorème d'existence # théorème du point fixe de Tarski

03Exx ; 03G30 ; 04-XX ; 18B25

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

- 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-8218-2565-5

Memoirs of the american mathematical society , 0503

Localisation : Collection 1er étage

2-catégorie # facteur définissable # logique algébrique # logique catégorique # logique du premier ordre # logique proportionnelle # théorie de la dualité # théorie des mobiles # topo # ultramorphisme spécial # ultraproduit

03C20 ; 03C40 ; 03G30 ; 18D05

... Lire [+]

Z