Category theory

Repository

Repository is empty

Poll

No polls currently selected on this page!

Category theory

Code: 213179
ECTS: 5.0
Lecturers in charge: doc. dr. sc. Matija Bašić - Lectures
Take exam: Studomat
Load:

1. komponenta

Lecture typeTotal
Lectures 45
* Load is given in academic hour (1 academic hour = 45 minutes)
Description:
Literature:
  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
1. semester
Izborni predmet 1, 2 - Regular study - Computer Science and Mathematics

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

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

4. semester
Izborni predmet 3, 4, 5, 6 - Regular study - Computer Science and Mathematics
Consultations schedule:

News - Archive

Return

Results 0 - 0 of 0
Page 1 of 0
Results per page: 
No news!