Category Theory
The course is not on the list Without time-table
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/
- No time-table has been prepared for this course
- 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)