A new conjecture:

Conjecture $latex \langle f \rangle \mathcal{X} = \bigsqcup_{F \in \mathrm{atoms}\, f} \langle F \rangle \mathcal{X}$ for every funcoid $latex f$ and $latex \mathcal{X} \in \mathfrak{F} (\mathrm{Src}\, f)$.

This conjecture seems important for the notion of exponential object in the category of continuous maps between endofuncoids, which I am investigating now.

One Response

Leave a Reply

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