Groupoid

Related lectures (11)

Explores natural transformations in algebra, defining functors and isomorphisms.

Introduces the basics of group theory, defining groups, categories, and groupoids.

Covers the concept of isomorphism in categories, defining morphisms with inverses and exploring automorphisms and groupoids.

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

Explores examples of categories, morphisms, groupoids, and functors in category theory.

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

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

Introduces categories, concrete examples, opposite categories, and isomorphisms, leading to groupoids.

Covers schematic models, emphasizing quasi-categories and ∞-groupoids in modeling categories.

Covers the characterization of trivial Kan fibrations and the importance of homotopy coherent groups.

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

Page 1 of 1