![](/files/happy5.png)
Porton, Victor
Several ways to apply a (multivalued) multiargument function to a family of filters ★★★
Author(s): Porton
![$ \mathcal{X} $](/files/tex/dcd7ae9cf0009f744cb554a2a549667e2a95aed0.png)
1. The funcoid corresponding to this function (considered as a single argument function on indexed families) applied to the reloidal product of filters .
2. The funcoid corresponding to this function (considered as a single argument function on indexed families) applied to the starred reloidal product of filters .
3. .
Keywords: funcoid; function; multifuncoid; staroid
Which outer reloids are equal to inner ones ★★
Author(s): Porton
Warning: This formulation is vague (not exact).
![$ \{f\in\mathsf{FCD} \mid (\mathsf{RLD})_{\mathrm{in}} f=(\mathsf{RLD})_{\mathrm{out}} f\} $](/files/tex/34d9c3297cb0be1b9acecdb9c1e6f77c599cfc91.png)
The problem seems rather difficult.
Keywords:
A diagram about funcoids and reloids ★★
Author(s): Porton
Define for posets with order :
;
.
Note that the above is a generalization of monotone Galois connections (with and
replaced with suprema and infima).
Then we have the following diagram:
What is at the node "other" in the diagram is unknown.
![$ \lambda f\in\mathsf{FCD}: \top $](/files/tex/4a511edece8921fab6426695d3451efc024273a5.png)
![$ \Phi_{\ast} $](/files/tex/c26f0d43856d263f335939666a99f483ffd09da8.png)
![$ \Phi^{\ast} $](/files/tex/cf6796f6de9023eb4c0ae3e69b8900a93e53fc6b.png)
![$ \Phi_{\ast} $](/files/tex/c26f0d43856d263f335939666a99f483ffd09da8.png)
![$ \Phi^{\ast} $](/files/tex/cf6796f6de9023eb4c0ae3e69b8900a93e53fc6b.png)
Keywords: Galois connections
Outward reloid of composition vs composition of outward reloids ★★
Author(s): Porton
![$ f $](/files/tex/43374150a8a220f67049937b9790b7d28eb17fb9.png)
![$ g $](/files/tex/4239ee4145983e1d8ad375f0606cc7140bce36a3.png)
![$$(\mathsf{RLD})_{\mathrm{out}}(g\circ f)\sqsupseteq(\mathsf{RLD})_{\mathrm{out}}g\circ(\mathsf{RLD})_{\mathrm{out}}f.$$](/files/tex/84f69b164792549ff2f890d3c9dfe23addb9c1ac.png)
Keywords: outward reloid
A funcoid related to directed topological spaces ★★
Author(s): Porton
![$ R $](/files/tex/201b5ff8bf9045c34a583adc2741b00adf1fd14c.png)
![$ [-\infty,+\infty] = \mathbb{R}\cup\{-\infty,+\infty\} $](/files/tex/3252019c60a83f00ff396d823dbff8040639f409.png)
![$ \geq $](/files/tex/45f96d07de2ad307ec6b9d5fbad7c02d93d9eaf2.png)
![$ R\sqcap^{\mathsf{FCD}}\mathord{\geq} $](/files/tex/5521c999ae08fc16a7a797a3fd66316435ad7aff.png)
![$ \langle R\sqcap^{\mathsf{FCD}}\mathord{\geq}\rangle \{x\} $](/files/tex/4a22ece277f13be752937ec312efed1484d5d2b8.png)
![$ x\in[-\infty,+\infty] $](/files/tex/4e57a21194d8d5a659e259a111ed13a9c23b52a1.png)
If proved true, the conjecture then can be generalized to a wider class of posets.
Keywords:
Infinite distributivity of meet over join for a principal funcoid ★★
Author(s): Porton
![$ f \sqcap \bigsqcup S = \bigsqcup \langle f \sqcap \rangle^{\ast} S $](/files/tex/0a7e06f88b6cd4667f7fa4b6f670b57cfa795155.png)
![$ f $](/files/tex/43374150a8a220f67049937b9790b7d28eb17fb9.png)
![$ S $](/files/tex/d2b76a0ee5465d3e3ecc846c8e3d632edd8b2bbf.png)
Keywords: distributivity; principal funcoid
Entourages of a composition of funcoids ★★
Author(s): Porton
![$ \forall H \in \operatorname{up} (g \circ f) \exists F \in \operatorname{up} f, G \in \operatorname{up} g : H \sqsupseteq G \circ F $](/files/tex/145d32f0a6448ea3d98f9b091370160956ba4532.png)
![$ f $](/files/tex/43374150a8a220f67049937b9790b7d28eb17fb9.png)
![$ g $](/files/tex/4239ee4145983e1d8ad375f0606cc7140bce36a3.png)
Keywords: composition of funcoids; funcoids
What are hyperfuncoids isomorphic to? ★★
Author(s): Porton
Let be an indexed family of sets.
Products are for
.
Hyperfuncoids are filters on the lattice
of all finite unions of products.
![$ \bigcap^{\mathsf{\tmop{FCD}}} $](/files/tex/3c8ed688fbcae181a7b030c7071347137615d338.png)
![$ \mathfrak{F} \Gamma $](/files/tex/2d4cbeff4993cf10008cbe69e72409840d1b2201.png)
- \item prestaroids on
![$ \mathfrak{A} $](/files/tex/702b76abd81b24daaf0e6bc2a191fb964b09d1b2.png)
![$ \mathfrak{A} $](/files/tex/702b76abd81b24daaf0e6bc2a191fb964b09d1b2.png)
![$ \mathfrak{A} $](/files/tex/702b76abd81b24daaf0e6bc2a191fb964b09d1b2.png)
If yes, is defining the inverse bijection? If not, characterize the image of the function
defined on
.
Consider also the variant of this problem with the set replaced with the set
of complements of elements of the set
.
Keywords: hyperfuncoids; multidimensional
Another conjecture about reloids and funcoids ★★
Author(s): Porton
![$ \square f = \bigcap^{\mathsf{RLD}} \mathrm{up}^{\Gamma (\operatorname{Src} f ; \operatorname{Dst} f)} f $](/files/tex/233b3cef05580aee2ca00c357cfdbc67bacf126a.png)
![$ f $](/files/tex/43374150a8a220f67049937b9790b7d28eb17fb9.png)
![$ (\mathsf{RLD})_{\Gamma} f = \square (\mathsf{RLD})_{\mathrm{in}} f $](/files/tex/004185ca69576a6b46e10d7d0fb46c76b6c53c43.png)
![$ f $](/files/tex/43374150a8a220f67049937b9790b7d28eb17fb9.png)
Note: it is known that (see below mentioned online article).
Keywords:
![Syndicate content Syndicate content](/misc/feed.png)