Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Concept
Non-associative algebra
Formal sciences
Mathematics
Algebra
Abstract algebra
Graph Chatbot
Related lectures (30)
Login to filter by course
Login to filter by course
Reset
Previous
Page 2 of 3
Next
Ideals and Representations
Covers ideals, representations, modules, and maximal ideals in associative algebras.
Natural Transformations Composition
Covers the theory of categories, emphasizing the importance of naturalness in the composition of transformations.
Fold Reduce Operations
Explores fold (reduce) operations in parallel programming using Scala, covering associative operations, expression trees, parallel reduction, and array reduction.
Associative Operations: Tuples and Sets
Explores associative operations on tuples and sets, demonstrating their properties through various examples and proofs.
Rings and Modules: Color Codes and Homological Algebra
Covers rings and modules, emphasizing color codes and homological algebra concepts.
Introduction to Category Theory: Natural Transformations
Covers the concept of natural transformations between functors and their associativity.
Intersection: Set Operations
Introduces set intersection, its properties, and its relation to arithmetic operations.
Group Theory: Definitions and Properties
Introduces group theory concepts, including definitions and properties of groups, rings, and fields.
Auxiliary Assertions in Stainless
Showcases the use of assertions in Stainless to prove properties of fractions.
Groups & Subgroups: Definitions, Theorems, and Morphisms
Covers the fundamental concepts of groups and subgroups, including definitions, theorems, and morphisms.