Active Learning in Category Theory

Related lectures (32)

Page 1 of 4

Covers the basics of categories and functors, exploring properties, composition, and uniqueness in category theory.

Explores building categories from graphs and the encoding of information by functors.

Explores the concept of category theory, providing examples and discussing the opposite category concept.

Explores natural transformations in group theory and category theory, emphasizing functor composition and morphism composition.

Covers categories, functors, and presheaf categories, exploring the relationships between objects and morphisms.

Covers adjunctions and limits, focusing on functors, co-limits, and their applications in category theory.

Explores natural transformations in algebra, defining functors and isomorphisms.

Covers adjunctions and functor categories, emphasizing their significance in category theory and applications in deep learning.

Explores limits and colimits in functor categories, focusing on equalizers, pullbacks, and their significance in category theory.

Explores functors, natural transformations, and the theory of groups, emphasizing the importance of comparisons and structure preservation.