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.

Problem
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.

Advertisements

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:

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: