Category Theory
| Code | Completion | Credits | Range | Language |
|---|---|---|---|---|
| NI-TKA | Z,ZK | 4 | 2P+1C | Czech |
- Garant předmětu:
- 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 2023/2024:
- Time-table is not available yet
- Time-table for summer semester 2023/2024:
-
06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Mon Tue Wed Thu Fri - 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, 202 (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)