Conjecture about funcoids

Conjecture Let $latex S$ be a set of binary relations. If for every $latex X, Y \in S$ we have $latex \mathrm{up} (X \sqcap^{\mathsf{FCD}} Y) \subseteq S$ then there exists a funcoid $latex f$ such that $latex S = \mathrm{up}\, f$.

A base of a funcoid which is not a filter base

The converse of this theorem does not hold. Counterexample: Take $latex S = \mathrm{up}\, \mathrm{id}^{\mathsf{FCD}}_{\Omega}$. We know that $latex S$ is not a filter base. But it is trivial to prove that $latex S$ is a base of the funcoid $latex \mathrm{id}^{\mathsf{FCD}}_{\Omega}$.

A new theorem proved

Definition A set $latex S$ of binary relations is a base of a funcoid $latex f$ when all elements of $latex S$ are above $latex f$ and $latex \forall X \in \mathrm{up}\, f \exists T \in S : T \sqsubseteq X$. It was easy to show: Proposition A set $latex S$ of binary relations is […]

I made an error in a proof

I’ve proved the following (for every funcoids $latex f$ and $latex g$): Statement $latex \mathrm{up}\, (f \sqcap^{\mathsf{FCD}} g) \subseteq \bigcup \{ \mathrm{up}\, (F \sqcap^{\mathsf{FCD}} G) \mid F \in \mathrm{up}\, f, G \in \mathrm{up}\, g \}$ or equivalently: If $latex Z\in\mathrm{up}\, (f \sqcap^{\mathsf{FCD}} g)$ then there exists $latex F \in \mathrm{up}\, f$, $latex G \in \mathrm{up}\, […]

A new proposition proved

I’ve proved the following lemma: Lemma Let for every $latex X, Y \in S$ and $latex Z \in \mathrm{up} (X \sqcap^{\mathsf{FCD}} Y)$ there is a $latex T \in S$ such that $latex T \sqsubseteq Z$. Then for every $latex X_0, \ldots, X_n \in S$ and $latex Z \in \mathrm{up} (X_0 \sqcap^{\mathsf{FCD}} \ldots \sqcap^{\mathsf{FCD}} X_n)$ there […]

I proved a conjecture

After prayer in tongues and going down anointment of Holy Spirit I proved this conjecture about funcoids. The proof is currently located in this PDF file. Well, the proof is for special cases of distributive lattices, but more general case seems not necessary (at least now). It seems easy to generalize it for more general […]

New conjecture about funcoids

New conjecture: Conjecture $latex \mathrm{up} (f \sqcap^{\mathsf{FCD}} g) \subseteq \{ F \sqcap G \mid F \in \mathrm{up}\, f, G \in \mathrm{up}\, g \}$ for all funcoids $latex f$, $latex g$ (with corresponding sources and destinations). Looks trivial? But how to (dis)prove it?

Attempt to generalize filter bases for more general filtrators

In this draft I present some definitions and conjectures on how to generalize filter bases for more general filtrators (such as the filtrator of funcoids). This is a work-in-progress. This seems an interesting research by itself, but I started to develop it as a way to prove this conjecture.

My proof was with an error

I claimed that I have proved the following conjecture: Conjecture $latex \forall H \in \mathrm{up} (g \circ f) \exists F \in \mathrm{up}\, f, G \in \mathrm{up}\, g : H \sqsupseteq G \circ F$ for every composable funcoids $latex f$ and $latex g$. The proof was with an error. So it remains a conjecture.