Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2023/2024

Category Theory

Login to KOS for course enrollment Display time-table
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:
Time-table is not available yet
The course is a part of the following study plans:
Data valid to 2023-12-08
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/en/predmet6281606.html