What are hyperfuncoids isomorphic to?

Problem's Description

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 $\bigcap^{\mathsf{FCD}}$ a bijection from hyperfuncoids $\mathfrak{F} \Gamma$ to:

- prestaroids on $\mathfrak{A}$;

- staroids on $\mathfrak{A}$;

- completary staroids on $\mathfrak{A}$?

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

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

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

1. BookIs an originAlgebraic General Topology. Volume 1

   • Victor Porton

   year of publication: 2018fulltext