Difference between revisions of "Transclusion"

From PKC
Jump to navigation Jump to search
(Created page with "Transclusion is a feature in MediaWiki, which is often encoded using the <code>{{<Transclusion Page Name>}}</code>.")
 
Line 1: Line 1:
Transclusion is a feature in [[MediaWiki]], which is often encoded using the <code>{{<Transclusion Page Name>}}</code>.
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]].

Revision as of 09:45, 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.