Скачать
Category Theory Foundations, Lecture 2
Автор: p473r
Загружено: 2013-11-22
Просмотров: 19717
Описание:
Steve Awodey - Category Theory Foundations, Lecture 2, Oregon Programming Languages Summer School 2012, University of Oregon
Homework excercises are available here: http://www.andrew.cmu.edu/user/awodey...
Topics covered in this lecture:
Universal Mapping Property
Products, Coproducts (Examples: in Set, poset-categories)
Exponentials (Examples: in Set, Pos)
Cartesian Closed Categories (lambda calculus, CCC-completeness)
For more info about the summer school please visit http://www.cs.uoregon.edu/research/su...
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
