funcoid corresponding to reloid

Funcoid corresponding to reloid through lattice Gamma ★★

Author(s): Porton

Conjecture   For every reloid $ f $ and $ \mathcal{X} \in \mathfrak{F} (\operatorname{Src} f) $, $ \mathcal{Y} \in \mathfrak{F} (\operatorname{Dst} f) $:
    \item $ \mathcal{X} \mathrel{[(\mathsf{FCD}) f]} \mathcal{Y}   \Leftrightarrow \forall F \in \operatorname{up}^{\Gamma (\operatorname{Src} f ; \operatorname{Dst}   f)} f : \mathcal{X} \mathrel{[F]} \mathcal{Y} $; \item $ \langle (\mathsf{FCD}) f \rangle \mathcal{X} = \bigcap_{F   \in \operatorname{up}^{\Gamma (\operatorname{Src} f ; \operatorname{Dst} f)} f} \langle F \rangle   \mathcal{X} $.

It's proved by me in this online article.

Keywords: funcoid corresponding to reloid

Restricting a reloid to lattice Gamma before converting it into a funcoid ★★

Author(s): Porton

Conjecture   $ (\mathsf{FCD}) f = \bigcap^{\mathsf{FCD}} (\Gamma (A ; B) \cap \operatorname{GR} f) $ for every reloid $ f \in \mathsf{RLD} (A ; B) $.

Keywords: funcoid corresponding to reloid; funcoids; reloids

Syndicate content