Simple substance

This term comes from the English translation of Monadology of Leibniz. It would be nice to consider it as the building blocks of a primitive language, such as arrows in Category Theory.

References

Related Pages

B

• Book/G. W. Leibniz's Monadology
• Book/Routledge Philosophy Guidebook to Leibniz and the Monadology

C

• Continuation

D

• Digital Twin

G

• Gottfried Wilhelm Leibniz

K

• Kleisli Category
• Kliesli Arrow

L

• Lambda Calculus
• Lectures/"An Introduction to Combinator Compilers and Graph Reduction Machines" by David Graunke
• Lectures/"Functional distributed systems beyond request/response" by Melinda Lu

M

• Meta Curriculum
• Meta University
• Metaverse
• Monad
• Monad: Natural numbers as Functors
• Monadology

P

• Paper/History of Lambda-calculus and Combinatory Logic

P cont.

• Paper/时间，才是真正事件维度的结构

S

• Simple substance

V

• Video/"An Introduction to Combinator Compilers and Graph Reduction Machines" by David Graunke
• Video/"Functional distributed systems beyond request/response" by Melinda Lu
• Video/A monad is a monoid in the category of endofunctors. Whats the problem?
• Video/An Intuitive Introduction to Monads in Under 10 Minutes
• Video/Category Theory for the Working Hacker by Philip Wadler
• Video/Category theory for JavaScript programmers - 27:string diagrams
• Video/Composable application architecture with reasonably priced monads
• Video/Dana S. Scott Lambda Calculus, Then and Now
• Video/Dana S. Scott: Seventy Years Using Fixed Points
• Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 1) - λC 2018
• Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 2) - λC 2018
• Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 3) - λC 2018
• Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 4) - λC 2018
• Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 5) - λC 2018
• Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 6) - λC 2018

V cont.

• Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 1 of 5 - λC 2017
• Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 2 of 5 - λC 2017
• Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 3 of 5 - λC 2017
• Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 4 of 5 - λC 2017
• Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 5 of 5 - λC 2017
• Video/Daniel Beskin - Category Theory as a Tool for Thought - Lambda Days 2020
• Video/Daniel Beskin- Category Theory as a Tool for Thought- λC 2019
• Video/Don't fear the Monad
• Video/Foundations of Programming Languages: Typed and Untyped Lambda-Calculus - Paul Downen - OPLSS 2018
• Video/Lambda Calculus - Computerphile
• Video/Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
• Video/Leibniz's Monads Explained
• Video/Monads (Emily Rhiel) 2021 03 21
• Video/Okay but WTF is a MONAD??????
• Video/Prof. Dana Scott - Geometry Without Points
• Video/Steven Syrek - Category Theory for People who Can't be Bothered to Learn It (Part 1) - λC 2018
• ... further results

單子