Difference between revisions of "Composability"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
[[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 [[PKC|personally-owned Knowledge Container]]s. 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 component]]s, such as [[Nand]] or [[Nor]] logic gates. | [[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 [[PKC|personally-owned Knowledge Container]]s. 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 component]]s, such as [[Nand]] or [[Nor]] logic gates. | ||
<noinclude> | |||
==Related Pages== | |||
*[[has LogicModel::PKC DevOps]] | |||
</noinclude> | |||
Revision as of 15:06, 7 August 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.