I’ve added the following almost trivial proposition to the draft of my book “Algebraic General Topology. Volume 1”:
Proposition (for every ). Informally: Every is a generalized limit of a constant funcoid.
Note that is the function which transforms from simple numbers to values of generalized limits.