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.

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: