1. komponenta

Lecture type	Total
Lectures	45

* Load is given in academic hour (1 academic hour = 45 minutes)

1. B. C. Pierce: Basic Category Theory for Computer Scientists
2. S. MacLane: Categories for the Working Mathematician
3. S. MacLane, I. Moerdijk: Sheaves in Geometry and Logic
4. M. Barr, C. Wells: Category Theory for Computing Science
5. G. Michaelson: An Introduction to Functional Programming Through Lambda Calculus
6. J. Adámek, H. Herrlich, G. E. Strecker: Abrstact and Concrete Categories The Joy of Cats
7. F. Borceux: Handbook of Categorical Algebra - Basic Category Theory
8. D. Spivak: Category Theory for the Sciences
9. S. Awodey: Category Theory
10. H. Simmons: An Introduction to Category Theory

Izborni predmet 1, 2 - Regular study - Computer Science and Mathematics

Izborni predmet 1, 2 - Regular study - Computer Science and Mathematics

Izborni predmet 3, 4, 5, 6 - Regular study - Computer Science and Mathematics

Izborni predmet 3, 4, 5, 6 - Regular study - Computer Science and Mathematics