Difference between revisions of "Concept"

From PKC
Jump to navigation Jump to search
(Created page with "A concept is a kind of resource, and it is defined here as an synonym of the term:idea, and mathematically represented as a Kan extension. Category:Concept")
 
 
(7 intermediate revisions by the same user not shown)
Line 1: Line 1:
A concept is a kind of resource, and it is defined here as an synonym of the term:[[Idea|idea]], and mathematically represented as a [[Kan extension]].
A concept is a kind of resource, and it is defined here as an synonym of the term:[[Idea|idea]], and mathematically represented as a [[Kan extension]]<ref>{{:Thesis/All Concepts are Kan extensions}}</ref>.


In [[PKC]], we will try to use [[Semantic Mediawiki]]'s [https://www.semantic-mediawiki.org/wiki/Help:Concepts concept feature], to programmatically represent '''concepts''', specifically, concepts that are related to mathematics and scientific principles.
=Semantic MediaWiki=
[[Semantic MediaWiki]] has a mechanism to encode [https://www.semantic-mediawiki.org/wiki/Help:Concepts concepts].
<noinclude>
=References=
<references/>
[[Category:Concept]]
[[Category:Concept]]
</noinclude>

Latest revision as of 17:05, 28 January 2022

A concept is a kind of resource, and it is defined here as an synonym of the term:idea, and mathematically represented as a Kan extension[1].

In PKC, we will try to use Semantic Mediawiki's concept feature, to programmatically represent concepts, specifically, concepts that are related to mathematics and scientific principles.

Semantic MediaWiki

Semantic MediaWiki has a mechanism to encode concepts.


References

  1. Lehner, Marina (2014). "All Concepts are Kan Extensions":Kan Extensions as the Most Universal of the Universal Constructions (PDF) (Bachelor). local page: Harvard College. Retrieved June 28, 2021.