Revision as of 13:49, 1 September 2021

Compositionality is the essence of Category Theory, and the whole point of creating PKC to ensure that one can leverage the mathematical insights of Category Theory to construct and evolve personally-owned Knowledge Containers. Mathematically, it is conceptualized as a form of universal construction, and in software engineering, it is often realized through universal data abstraction, such as monad. In hardware, it is achieved by modeling hardware system as some compositions of a specific universal components, such as Nand or Nor logic gates.

Industrial Application of Compositionality

LINQ designed by Eric Meijer, is based on Monad. Meijer is a proponent of applying theoretical models to software design. His opinions can be found in this video^[1]^[2].

@@ Line 2: / Line 2: @@
 =Industrial Application of Compositionality=
-#[https://www.infoq.com/interviews/erik-meijer-linq/ LINQ] designed by Eric Meijer, is based on [[Monad]]. Meijer is a proponent of applying theoretical models to software design. His opinions can be found in this video<ref>{{:Video/Category Theory, The essence of interface-based design}}</ref>.
+#[https://www.infoq.com/interviews/erik-meijer-linq/ LINQ] designed by Eric Meijer, is based on [[Monad]]. Meijer is a proponent of applying theoretical models to software design. His opinions can be found in this video<ref>{{:Video/Category Theory, The essence of interface-based design}}</ref><ref>{{:Video/Alchemy For the Modern Computer Scientist - Erik Meijer}}</ref>.
 <noinclude>
 =References=
 <references/>