Concept
Equivalence relation
Related lectures (185)
Equivalence Relations and Functions
Covers equivalence relations, functions, injectivity, surjectivity, and bijectivity with illustrative examples.
Simulation Relations
Covers transition systems, behavior equivalence, and system refinement for system modeling and verification.
Relations in Computer Science
Explores the properties of relations in computer science, including equivalence relations and the partition of a set.
Posets and Equivalence Relations
Introduces posets, Hasse diagrams, and equivalence relations on sets.
Cohomology Real Projective Space
Covers cohomology in real projective spaces, focusing on associative properties and algebraic structures.
Finite Elements: Convergence Analysis and Variational Formulation
Explores convergence analysis of finite element methods and variational formulation.
Total Order Broadcast: Basics and Consensus Equivalences
Explores total order broadcast and its equivalence to consensus in reliable systems.
Classification of Extensions
Explores the classification of extensions in group theory, emphasizing split extensions and semi-direct products.
Fundamental Groups
Explores fundamental groups, homotopy classes, and coverings in connected manifolds.
Introduction to Category Theory: Natural Transformations
Introduces natural transformations in category theory through concrete examples from group theory.