Difference between revisions of "Concept"
Jump to navigation
Jump to search
| (5 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]]<ref>{{:Thesis/All Concepts are Kan extensions}}</ref>. | 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> | <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
- ↑ 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.