Kategorijų teorija ir jos taikymai

Temos

• Categories, objects, morphisms
• Functors
• Natural transformations
• Universal constructions
• Products and coproducts
• Limits and colimits
• Adjunctions
• Monads and comonads
• Presheaves and sheaves
• Toposes