Distributive Laws as Monoids

preview_player
Показать описание
We show that distributive laws are monoids in the monoidal categories of endomorphisms in MNDLFT and MNDEXT.
  1. MathProofsable
  2. category theory
  3. monads
  4. distributive laws
  5. adjoint situations
  6. mathematics
Рекомендации по теме
Distributive Laws as 0:03:58

Distributive Laws as Monoids

Monoids | Group 0:22:37

Monoids | Group theory episode 1

Eugenia Cheng: Distributive 1:10:39

Eugenia Cheng: Distributive laws for Lawvere theories

Maaike Zwart: 'Lessons 1:02:55

Maaike Zwart: 'Lessons from failing distributive laws'

Tarmo Uustalu: 'Grading 0:48:16

Tarmo Uustalu: 'Grading monads, comonads and distributive laws'

Maaike Zwart, 'Distributive 0:50:20

Maaike Zwart, 'Distributive Laws in the Boom Hierarchy'

Luka Jacobowitz – 0:58:00

Luka Jacobowitz – Monoids, monoids, monoids

Monads 3: Monads 2:05:37

Monads 3: Monads as Monoids in the Category of Endofunctors, Monad laws as monoid laws

Quiz 53: Identify 0:00:16

Quiz 53: Identify the distributive law #shorts #math

Idris: verifying a 0:16:40

Idris: verifying a monoid

Cole Comfort -- 0:18:08

Cole Comfort -- Distributive Laws, Spans and the ZX-Calculus

Exponent Laws (Group 0:08:05

Exponent Laws (Group Theory)

Distributive Lattice 0:11:00

Distributive Lattice

Categories for AI 1:33:41

Categories for AI 5: Monoids, Monads, Mappings, and lstMs - by Andrew Dudzik

Luka Jacobowitz—Monoids, Monoids, 0:54:52

Luka Jacobowitz—Monoids, Monoids, Monoids

Dexter Kozen, Cornell 1:12:37

Dexter Kozen, Cornell University: 'Brzozowski derivatives as distributive laws'

Homegrown #Scala Collections 0:50:28

Homegrown #Scala Collections - Part 35.2 - Monoids and Basic Group Theory

Tarmo Uustalu: Monad-comonad 1:21:04

Tarmo Uustalu: Monad-comonad interaction laws, monad algebras, comonad coalgebras

Lec-1|binary operation |groupoid|semi 0:27:29

Lec-1|binary operation |groupoid|semi group| monoid |Abelian group| group

Monads 2: Monad 1:46:21

Monads 2: Monad Laws, Vertical and Horizontal Composition of Natural Transformations

The Haskell Unfolder 0:35:43

The Haskell Unfolder Episode 8: laws

A Category Theoretic 1:05:07

A Category Theoretic Analysis of Binders - John Power

CPPP 2019 - 1:06:04

CPPP 2019 - Identifying Monoids: Exploiting Compositional Structure in Code - Ben Deane

sets | intersection 0:22:58

sets | intersection | disjoint | commutative, associative, distributive ,identity, idempotent law