Difference between revisions of "Transclusion"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
Transclusion is a feature in [[MediaWiki]], which is often encoded using the <code>{{<Transclusion Page Name>}}</code>. In [[PKC]], it is intentionally related to the notion of [[Pullback]] in [[Category Theory]]. | Transclusion is a feature in [[MediaWiki]], which is often encoded using the <code>{{<Transclusion Page Name>}}</code>. In [[PKC]], it is intentionally related to the notion of [[Pullback]] in [[Category Theory]]. | ||
<noinclude> | |||
==Related Pages== | |||
* [[Definition::Pullback]] | |||
* [[Definition::Pushout]] | |||
* [[Definition::Transclusion]] | |||
* [[Definition::Hyperlink]] | |||
</noinclude> | |||
Revision as of 09:46, 30 July 2021
Transclusion is a feature in MediaWiki, which is often encoded using the {{<Transclusion Page Name>}}. In PKC, it is intentionally related to the notion of Pullback in Category Theory.