Skip to content
August 29, 2013 / porton

Pointfree funcoids as a generalization of frames/locales

I’ve put online my rough partial draft of the theory of bijective correspondence between frames/locales and certain pointfree funcoids.

Pointfree funcoids are a massive generalization of locales and frames: They not only don’t require the lattice of filters to be boolean but these can be even not lattices of filters at all but just arbitrary posets.

Much work is yet needed to relate different properties of frames and locales with corresponding properties of pointfree funcoids.

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: