I’ve added the following almost trivial proposition to the draft of my book “Algebraic General Topology. Volume 1”:

Proposition $latex \tau \left( y \right) = \mathrm{xlim}\, \left( \left\langle \mu \right\rangle^{\ast} \left\{ x \right\} \times^{\mathsf{FCD}} \uparrow^{\mathrm{Base}\, \left( \mathrm{dom}\, \nu \right)} \left\{ y \right\} \right)$ (for every $latex x$). Informally: Every $latex \tau \left( y \right)$ is a generalized limit of a constant funcoid.

Note that $latex \tau$ is the function which transforms from simple numbers to values of generalized limits.

Leave a Reply

Your email address will not be published. Required fields are marked *