Skip to content
September 10, 2013 / porton

A conjecture about atomic funcoids

A new conjecture:

Conjecture \langle f \rangle \mathcal{X} = \bigsqcup_{F \in \mathrm{atoms}\, f} \langle F \rangle \mathcal{X} for every funcoid f and \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.

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: