Category:Universal component
Universal component is the fact that all functions can be composed using a specific kind of primitive function, such as the Nand or Nor logic gates. This article:Universal Logic Gates[1] by David Knight, elaborates the reasoning. According to Bob Coecke, Monoidal Category should be considered as a Universal Component.
The notion of Limit
In Category Theory, the notion of limit is a topological construct that is used to generate or model many other kinds of data or structural content.
From Counting to Monoidal Category
In the video titled:Quantum Natural Language Processing - CQC's Ilyas Khan and Bob Coecke[2], Bob Coecke stated that Monoidal Category is the most primal structure in the worldCite error: Invalid <ref>
tag; invalid names, e.g. too many.
It is my scientific belief that everything pretty much is monoidal category and that instead of counting, it should have started with monoidal category. Bob Coecke in Cite error: Invalid <ref>
tag; invalid names, e.g. too many.
- ↑ Knight, David (November 6, 2015). "Universal Logic Gates". All About Circuits.
- ↑ Coecke, Bob (May 16, 2020). Quantum Natural Language Processing - CQC's Ilyas Khan and Bob Coecke. local page: Cambridge Quantum.
Pages in category "Universal component"
The following 23 pages are in this category, out of 23 total.
L
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/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
- 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/Lambda Calculus - Computerphile
- Video/Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
- Video/Prof. Dana Scott - Geometry Without Points
- Video/Programming Loops vs Recursion - Computerphile
- Video/THE 2022 OPPENHEIMER LECTURE: THE QUANTUM ORIGINS OF GRAVITY