Филозофија

Не постоје подаци о траженом курсу.
План курса:

1. недеља
предавање - Дедуктивни системи и категорије

2. недеља
предавање - Репрезентација дедуктивних система и категорија (Стон и Кејли)

3. недеља
предавање - Функтори и функције

4. недеља
предавање - Природне трансформације

5. недеља
предавање - Адјункција: дефиниције

6. недеља
предавање - Адјункција: нормализација

7. недеља
предавање - Монаде, комонаде и модална логика: дефиниције

8. недеља
предавање - Монаде, комонаде и модална логика: нормализација

9. недеља
предавање - Картезијанске категорије: дефиниције

10. недеља
предавање - Картезијанске категорије: нормализација

11. недеља
предавање - Кокартезијанске и бикатерзијанске категорије

12. недеља
предавање - Дистрибуција и дисоцијативност

13. недеља
предавање - Категоријална теорија доказа
Литература и извори података:
Општа обавезна литература
Došen, K. Cut Elimination in Categories, Trends in Logic 6, Kluwer, Dordrecht, 1999.
↑↑↑