1. komponenta

Lecture type	Total
Lectures	45

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

1. Basic Category Theory for Computer Scientists, B. C. Pierce, The MIT Press, 1991.
2. Categories for the Working Mathematician, S. MacLane, Springer-Verlag New York, 1978.
3. Sheaves in Geometry and Logic, S. MacLane, I. Moerdijk, Springer-Verlag New York, 1992.
4. Category Theory for Computing Science, M. Barr, C. Wells, Prentice Hall, 1990.
5. An Introduction to Functional Programming Through Lambda Calculus, G. Michaelson, Dover Publications, 2011.
6. Abrstact and Concrete Categories The Joy of Cats, J. Adámek, H. Herrlich, G. E. Strecker, John Wiley and Sons, 1990.
7. Handbook of Categorical Algebra - Basic Category Theory, F. Borceux, Cambridge University Press, 2008.
8. Category Theory for the Sciences, D. Spivak, MIT Press, 2014.
9. Category Theory, S. Awodey, Oxford University Press, 2010.
10. An Introduction to Category Theory, H. Simmons, Cambridge University Press, 2011.

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

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