Category Theory
| Code | Completion | Credits | Range | Language |
|---|---|---|---|---|
| NI-TKA | Z,ZK | 4 | 2P+1C | Czech |
- Course guarantor:
- Jan Starý
- Lecturer:
- Jan Starý
- Tutor:
- Jan Starý
- Supervisor:
- Department of Applied Mathematics
- Synopsis:
- Requirements:
- Syllabus of lectures:
- Syllabus of tutorials:
- Study Objective:
- Study materials:
-
A. Asperti, G. Longo, Categories, Types and Structures
M. A. Arbib, E. G. Manes, The Categorial Imperative
H. Herrlich, G. E. Strecker, Category Theory
B. C. Pierce, Basic Category Theory for Computer Scientists
- Note:
- Further information:
- http://courses.fit.cvut.cz/NI-TKA/
- Time-table for winter semester 2025/2026:
- Time-table is not available yet
- Time-table for summer semester 2025/2026:
- Time-table is not available yet
- The course is a part of the following study plans:
-
- Master specialization Computer Security, in Czech, 2020 (elective course)
- Master specialization Design and Programming of Embedded Systems, in Czech, 2020 (elective course)
- Master specialization Computer Systems and Networks, in Czech, 2020 (elective course)
- Master specialization Management Informatics, in Czech, 2020 (elective course)
- Master specialization Software Engineering, in Czech, 2020 (elective course)
- Master specialization System Programming, in Czech, version from 2020 (elective course)
- Master specialization Web Engineering, in Czech, 2020 (elective course)
- Master specialization Knowledge Engineering, in Czech, 2020 (elective course)
- Master specialization Computer Science, in Czech, 2020 (elective course)
- Mgr. programme, for the phase of study without specialisation, ver. for 2020 and higher (elective course)
- Study plan for Ukrainian refugees (elective course)
- Master specialization System Programming, in Czech, version from 2023 (elective course)
- Master specialization Computer Science, in Czech, 2023 (elective course)
- Quantum Informatics (elective course)
- Mgr. programe Applied informatics (code ANIE) for the phase of study without specialization (elective course)
- Master specialization Business Informatics, 2026 (elective course)
- Master specialization Computer Security, in Czech, 2026 (elective course)
- Master specialization Computer Systems and Networks, in Czech, 2026 (elective course)
- Master specialization Computer Science, in Czech, 2026 (elective course)
- Master specialization Programming Languages, in Czech, 2026 (elective course)
- Master specialization Artificial Intelligence, in Czech, 2026 (elective course)
- Master programme, for the phase of study without specialisation, ver. for 2026 and higher (elective course)