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. Abrstact and Concrete Categories The Joy of Cats, J. Adámek, H. Herrlich, G. E. Strecker, John Wiley and Sons, 1990.
6. Handbook of Categorical Algebra - Basic Category Theory, F. Borceux, Cambridge University Press, 2008.
7. Category Theory for the Sciences, D. Spivak, MIT Press, 2014.
8. Category Theory, S. Awodey, Oxford University Press, 2010.
9. An Introduction to Category Theory, H. Simmons, Cambridge University Press, 2011.
10. An Introduction to Functional Programming Through Lambda Calculus, G. Michaelson, Dover Publications, 2011.

Izborni predmet 1, 2 - Regular study - Theoretical Mathematics

Izborni predmet 1, 2 - Regular study - Theoretical Mathematics

Izborni predmet 3, 4 - Regular study - Theoretical Mathematics

Izborni predmet 3, 4 - Regular study - Theoretical Mathematics