Skip to content
July 2, 2016 / porton

$T_4$-funcoids

I have added to my free ebook a definition of T_4-funcoids (generalizing T_4 topologies).

A funcoid f is T_4 iff f \circ f^{- 1} \circ f \circ f^{- 1} \sqsubseteq f \circ f^{- 1}. This can also be generalized for pointfree funcoids.

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: