Difference between revisions of "Concept"
Jump to navigation
Jump to search
| Line 3: | Line 3: | ||
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. | 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. | ||
?Category | {{#ask: | ||
[[Category:XLP]] | |||
|?Category | |||
}} | |||
=Semantic MediaWiki= | =Semantic MediaWiki= | ||
Revision as of 07:53, 7 December 2021
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
- ↑ 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.