Skip to content
July 27, 2016 / porton

A new theorem about generalized continuity

I had this theorem in mind for a long time, but formulated it exactly and proved only yesterday.

Theorem f \in \mathrm{C} (\mu \circ \mu^{- 1} ; \nu \circ \nu^{- 1}) \Leftrightarrow f \in \mathrm{C} (\mu; \nu) for complete endofuncoids \mu, \nu and principal monovalued and entirely defined funcoid f \in \mathsf{FCD} (\mathrm{Ob}\, \mu; \mathrm{Ob}\, \nu), provided that \mu is reflexive, and \nu is T_1-separable.

Here f \in \mathrm{C} (\mu; \nu) means that f is a continuous morphism from a “space” \mu to a “space” \nu.

The theorem is added to my book.


Leave a Reply

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

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

Google+ photo

You are commenting using your Google+ 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 )


Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.

%d bloggers like this: