Monads: Data Structures with Laws

Related lectures (49)

Explores ring homomorphisms, bilateral ideals, ring features, and ideal operations.

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

Covers optimal purely functional priority queues, Scala implementation, Stainless integration, operations properties, and binomial queues.

Covers examples of group algebra decomposition and simple infinite-dimensional algebras.

Introduces sets, functions, Cartesian products, and compositions, discussing images, preimages, and function properties.

Covers the introduction to categories, including definitions and examples.

Covers examples of categories like sets, groups, and vector spaces, exploring composition and product formation.

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

Covers the joint equidistribution of CM points in algebraic structures and quadratic forms.

Explores Wedderburn's theorem, group algebras, and Maschke's theorem in the context of finite dimensional simple algebras and their endomorphisms.

Covers ideals, representations, modules, and maximal ideals in associative algebras.

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

Explores modules, sub-modules, and morphisms in algebraic structures.

Introduces the definition and examples of A-modules, including sub-modules and ideals.

Explores properties of matrices, endomorphisms, and linear applications in vector spaces.

Covers the concept of functors in category theory, including composition, identity functors, and forgotten functors.

Explores prime ideals and localization in algebraic geometry, highlighting their significance in ring structures.

Explains the cup and cap product in algebraic topology and their relation to homology groups.

Covers the concept of convolution and its properties in signal processing.

Explains vector fields as derivations and their algebraic structure in Lie algebra.

Page 2 of 3