Abstract algebra and type classes

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Page 2 of 4

Foundations of Scala: Modelling and Type Systems

Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.

Class hierarchies: pattern matching

Covers class hierarchies, pattern matching, function values, and function calls in Scala.

Group Theory: Direct Sum of Abelian Groups

Explores the arithmetic of direct sum of abelian groups and the process of turning a monoid into a commutative group.

Complement: Monotone Class Theorem

Explains the independence of events and sets in an algebraic context.

Quasi-Categories: Active Learning Session

Covers fibrant objects, lift of horns, and the adjunction between quasi-categories and Kan complexes, as well as the generalization of categories and Kan complexes.

Topology: Free Groups and Their Properties

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

Monads: Data Structures with Laws

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

Protocols in Akka Typed

Explores protocols in Akka Typed, typing actors to restrict message types and modeling protocols with algebraic data types.

Topology of Adeles

Covers the topology of Adeles and their relationship with quadratic forms, polynomial varieties, and finiteness properties.

Practical Engineering 1: Signal Processing

Explores advanced software engineering topics and signal processing using lazy lists to build a sound synthesizer from scratch.