#steve awodey

[mahometgrosporc]

Categories with families

C’est le cadre pour interpréter la théorie des types dépendants (dependent type theory), notion équivalente à celle de « category with attributes « , la définition est donnée ici :

http://staff.math.su.se/palmgren/ErikP_Variants_CWF.pdf

Cet article fait le lien avec les catégories localement cartésiennes fermées:

http://perso.ens-lyon.fr/pierre.clairambault/cwfreport.pdf

C’est une idée qui a été…

View On WordPress

[graal813]

Categories with families

C’est le cadre pour interpréter la théorie des types dépendants (dependent type theory), notion équivalente à celle de « category with attributes « , la définition est donnée ici :

http://staff.math.su.se/palmgren/ErikP_Variants_CWF.pdf

Cet article fait le lien avec les catégories localement cartésiennes fermées:

http://perso.ens-lyon.fr/pierre.clairambault/cwfreport.pdf

C’est une idée qui a été…

View On WordPress

[mahometgrosporc]

Awodey : natural models of #HoTT

Awodey : natural models of #HoTT

https://www.andrew.cmu.edu/user/awodey/preprints/natural.pdf

View On WordPress

[graal813]

Awodey : natural models of #HoTT

Awodey : natural models of #HoTT

https://www.andrew.cmu.edu/user/awodey/preprints/natural.pdf

View On WordPress

[topos318]

Awodey : natural models of #HoTT

Awodey : natural models of #HoTT

https://www.andrew.cmu.edu/user/awodey/preprints/natural.pdf

View On WordPress

[mahometgrosporc]

Help with #HoTT

https://m.youtube.com/watch?v=ZNahS3OHPwA

C’est ici :

https://math.stackexchange.com/questions/522239/where-to-get-help-with-homotopy-type-theory

A noter le cours d’Awodey sur les catégories : Écrit https://m.youtube.com/watch?v=ZKmodCApZwk

Ainsi que cette conférence d’Awodey sur Mac Lane (fondateur avec Eilenberg de la théorie des catégories en 1945, ou 1942) et Rudolf Carnap :

https://m.youtube.…

View On WordPress

[graal813]

Help with #HoTT

https://m.youtube.com/watch?v=ZNahS3OHPwA

C’est ici :

https://math.stackexchange.com/questions/522239/where-to-get-help-with-homotopy-type-theory

A noter le cours d’Awodey sur les catégories : Écrit https://m.youtube.com/watch?v=ZKmodCApZwk

Ainsi que cette conférence d’Awodey sur Mac Lane (fondateur avec Eilenberg de la théorie des catégories en 1945, ou 1942) et Rudolf Carnap :

https://m.youtube.…

View On WordPress

[topos318]

Help with #HoTT

https://m.youtube.com/watch?v=ZNahS3OHPwA C’est ici : https://math.stackexchange.com/questions/522239/where-to-get-help-with-homotopy-type-theory A noter le cours d’Awodey sur les catégories : Écrit https://m.youtube.com/watch?v=ZKmodCApZwk Ainsi que cette conférence d’Awodey sur Mac Lane (fondateur avec Eilenberg de la théorie des catégories en 1945, ou 1942) et Rudolf Carnap :…

View On WordPress