Advanced methods in category theory

The course is not on the list Without time-table

Code	Completion	Credits	Range	Language
XP01CAT	ZK	4	2+2	Czech

Course guarantor:

Lecturer:

Tutor:

Supervisor:

Department of Mathematics

Synopsis:

This course focuses on selected advanced topics from category theory. The selection of topics will be tailored for the needs of the enrolled students.

Possible topics include:

(1) cartesian closed categories and their connection to type theory

(2) monads and their connection to universal algebra

(3) coalgebras and the notion of bisimulation

(4) dualities and dualizing objects

Requirements:

Working knowledge of the basic concepts of category theory.

Syllabus of lectures:

Possible topics include:

(1) cartesian closed categories and their connection to type theory

(2) monads and their connection to universal algebra

(3) coalgebras and the notion of bisimulation

(4) dualities and dualizing objects

Syllabus of tutorials:

Study Objective:

Study materials:

1. G. M. Kelly: Basic Concepts of Enriched Category Theory, available online

2. J. Velebil: Categorical Methods in Universal Algebra, available online

3. R. L. Crole: Categories for Types, Cambridge University Press, 1994

Note:

Further information:

No time-table has been prepared for this course

The course is a part of the following study plans: