Lectures related to Associator

Explores the group structure and isomorphism of elliptic curves, including inverses, associativity, and compactification to the torus.

Introduces group theory concepts, including definitions and properties of groups, rings, and fields.

Showcases the use of assertions in Stainless to prove properties of fractions.

Covers the fundamental concepts of groups and subgroups, including definitions, theorems, and morphisms.

Covers addition properties and operations in the set of integers Z.

Explores the concept of a commutative semi-ring based on set theory properties.

Explores natural numbers, their properties, operations, and practical applications like calculating hours in a year.

Covers the basics of group theory, including sets, applications, and examples like permutations and rotations.

Introduces the basics of group theory, including operations, properties, and Lie groups.

Covers the concept of natural numbers, including properties like commutativity and associativity.

Explores symmetries in physics through group theory, emphasizing how symmetries keep equations of motion unchanged.

Focuses on simplifying expressions by rearranging parentheses and applying operation priority rules.

Explores fundamental properties of groups and numbers, emphasizing equivalence classes and subgroup concepts.

Covers the concept of natural transformations between functors and their associativity.

Covers the properties and definitions of subtraction using addition and multiplication as a basis.

Explores convolution operators, interpolation spaces, and function convergence in different spaces.

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

Covers the basics of formal languages, including alphabets, words, and languages, as well as operations like concatenation and reversal.

Covers the introduction to categories, including definitions and examples.

Explores polynomial operations, properties, and subspaces in vector spaces.