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.

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: