Lecture 1: Invitation to topos theory

Описание к видео Lecture 1: Invitation to topos theory

This talk introduces the motivating question for this semester of the Curry-Howard seminar, which is how to organise mathematical knowledge using topoi. The approach sketched out in the talk is via first-order theories, their associated classifying topoi, and adjoint pairs of functors between the classifying topoi of theories.

The lecture notes are available here: http://therisingsea.org/notes/ch2018-....

For the general seminar webpage see http://therisingsea.org/post/seminar-ch/.

Комментарии

Информация по комментариям в разработке

Похожие видео