Lectures related to Universal algebra

Covers monads as data structures with specific laws and examples like List and Option.

Covers the manipulation of algebraic laws on complex numbers.

Covers the basics of sets and operations in mathematics, from set properties to advanced operations.

Explores the link between properties and variables, including contraries and propositions.

Introduces predicate logic and explains how to determine truth values using quantifiers.

Explores predicate logic, focusing on quantifiers and normal forms, emphasizing the importance of finding witnesses and counterexamples.

Covers abstract algebra concepts using type classes in Scala, including defining monoids, generalizing reduce functions, and typeclass laws.