Skip to content
December 9, 2014 / porton

What are hyperfuncoids isomorphic to?

Let \mathfrak{A} be an indexed family of sets.

Products are \prod A for A \in \prod \mathfrak{A}.

Hyperfuncoids are filters \mathfrak{F} \Gamma on the lattice \Gamma of all finite unions of products.

Is \bigsqcap^{\mathsf{FCD}} a bijection from hyperfuncoids \mathfrak{F} \Gamma to:

  1. prestaroids on \mathfrak{A};
  2. staroids on \mathfrak{A};
  3. completary staroids on \mathfrak{A}?

If yes, is \mathrm{up}^{\Gamma} defining the inverse bijection?

If not, characterize the image of the function \bigsqcap^{\mathsf{FCD}} defined on \mathfrak{F} \Gamma.


One Comment

Leave a Comment
  1. porton / Dec 10 2014 14:54

    Consider also the variant of this problem with the set \Gamma replaced with the set \Gamma^{\ast} of complements of elements of the set \Gamma.

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: