Monads: Data Structures with Laws

Related lectures (30)

Page 3 of 3

Discusses the theory of free groups, their properties, and relationships with other algebraic structures.

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

Covers the introduction to categories, including definitions and examples.

Covers the fundamentals of polynomials, endomorphisms, division, roots, matrices, and algebraic homomorphisms.

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

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 the topology of Adeles and their relationship with quadratic forms, polynomial varieties, and finiteness properties.

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

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