Programmes d'études
C. Spéc.: Adventures in Applied Category Theo

Programmes d'études
C. Spéc.: Adventures in Applied Category Theo
Programmes d'études
Détails et horaire du cours
Légende
Cours de jour
Cours de soir
Cours en ligne
Certificats et microprogrammes de 1er cycle
Baccalauréat (formation d'ingénieur)
Études supérieures
PHS6953JE
C. Spéc.: Adventures in Applied Category Theo
Nombre de crédits :
3 (4 - 0 - 5)
Les chiffres indiqués entre parenthèses sous le sigle du cours, par exemple (3 - 2 - 4), constituent le triplet horaire.
Le premier chiffre est le nombre d'heures de cours théorique par semaine (les périodes de cours durent 50 minutes).
Le second chiffre est le nombre d'heures de travaux dirigés (exercices) ou laboratoire, par semaine.
(Note : certains cours ont un triplet (3 - 1.5 - 4.5). Dans ce cas, les 1,5 heure par semaine sont des laboratoires qui durent 3 heures mais qui ont lieu toutes les deux semaines. À Polytechnique, on parle alors de laboratoires bi-hebdomadaires).
Le troisième chiffre est un nombre d'heures estimé que l'étudiant doit investir de façon personnelle par semaine pour réussir son cours.
Le premier chiffre est le nombre d'heures de cours théorique par semaine (les périodes de cours durent 50 minutes).
Le second chiffre est le nombre d'heures de travaux dirigés (exercices) ou laboratoire, par semaine.
(Note : certains cours ont un triplet (3 - 1.5 - 4.5). Dans ce cas, les 1,5 heure par semaine sont des laboratoires qui durent 3 heures mais qui ont lieu toutes les deux semaines. À Polytechnique, on parle alors de laboratoires bi-hebdomadaires).
Le troisième chiffre est un nombre d'heures estimé que l'étudiant doit investir de façon personnelle par semaine pour réussir son cours.
Département :
Génie physique
Préalable(s) :
Corequis :
Notes :
Responsable(s) :
Sean Molesky
Description
PHS6953JE introduces applied category theory as a language for describing relations between formal systems---a method for organizing and layering models. Through examples drawn from database design, topology, electrical network analysis, and diagrammatic reasoning, the core categorical ideas of functors, natural transformations, universality, representability, and adjunctions are developed through the lens of tangible applications. No specific mathematical background is necessary or assumed.
PHS6953JE introduces applied category theory as a language for describing relations between formal systems---a method for organizing and layering models. Through examples drawn from database design, topology, electrical network analysis, and diagrammatic reasoning, the core categorical ideas of functors, natural transformations, universality, representability, and adjunctions are developed through the lens of tangible applications. No specific mathematical background is necessary or assumed.
Plan triennal
2025-2026 | 2026-2027 | 2027-2028 | ||||||
---|---|---|---|---|---|---|---|---|
Automne | Hiver | Été | Automne | Hiver | Été | Automne | Hiver | Été |
- | Cours de jour | - | - | Cours de jour | - | - | Cours de jour | - |