Skip to content
July 28, 2016 / porton

A funcoid related to directed topological spaces

The following problem arose from my attempt to re-express directed topological spaces in terms of funcoids.

Conjecture Let R be the complete funcoid corresponding to the usual topology on extended real line [-\infty,+\infty] = \mathbb{R}\cup\{-\infty,+\infty\}. Let \geq be the order on this set. Then R\sqcap^{\mathsf{FCD}}\mathord{\geq} is a complete funcoid.


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: