(in Polish) Wprowadzenie do toposów 1000-1M26WT
1. Basics in category theory. Categories, functors, natural transformations, limits and colimits, adjoint functors, monads, Kan extensions.
2. Presheaves, discrete fibrations.
3. Cartesian closed categories.
4. Subobject classifiers.
5. Elementary topoi.
6. Sheaves on topological spaces, etale maps.
7. Grothendieck topologies, sheaves on sites.
8. Geometric morphisms.
9. Logics, Boolean algebras and Heyting algebras.
10. Logic and language in topos.
11. Classifying topoi.
Course coordinators
Bibliography
Saunders Mac Lane & Ieke Moerdijk – Sheaves in Geometry and Logic: A First Introduction to Topos Theory
Steve Awodey – Category Theory
Peter Johnstone – Sketches of an Elephant: A Topos Theory Compendium
Additional information
Information on level of this course, year of study and semester when the course unit is delivered, types and amount of class hours - can be found in course structure diagrams of apropriate study programmes. This course is related to the following study programmes: