Knowledge Representation

When using Semantic MediaWiki to represent knowledge, it would be nice to learn about Category Theory, and use its super simple linguistic construct, directed arrow, to represent data. Arrow as a symmetry breaking structure, provides universal expressiveness to encode any information, therefore, is being used to represent knowledge. To learn more about how Category Theory can help represent knowledge, please watch the following videos.

Category Theory for Beginners: Everyday Language

{{#ev:youtube|https://www.youtube.com/watch?v=MtJJGrCaLbI%7C%7C%7C%7C%7C}}

Category Theory for Beginners: Machine Executable Programs

The following segment of video (just click on the image, and it will jump to 32'10", where the segment talks about computer programs represented by ologies.) shows how to use Category Theory to represent computable programs. {{#ev:youtube|https://www.youtube.com/watch?v=MtJJGrCaLbI%7C%7C%7C%7C%7Cstart=1932}}

Category Theory for Beginners: Knowledge Representation

{{#ev:youtube|https://youtu.be/W-AHNn4eGKQ%7C%7C%7C%7C%7Cstart=1210}}