Author: zskoda Format: MarkdownItexInserted names for the defining properties of nuclei: function $j\colon L \to L$ is a nucleus if it is monotone, inflationary and idempotent.
<a href="https://ncatlab.org/nlab/revision/diff/nucleus/10">diff</a>, <a href="https://ncatlab.org/nlab/revision/nucleus/10">v10</a>, <a href="https://ncatlab.org/nlab/show/nucleus">current</a>
Inserted names for the defining properties of nuclei: function is a nucleus if it is monotone, inflationary and idempotent.