Infinite distributivity of meet over join for a principal funcoid

Importance: Medium ✭✭
Author(s): Porton, Victor
Subject: Topology
Recomm. for undergrads: no
Posted by: porton
on: July 27th, 2016
Conjecture   $ f \sqcap \bigsqcup S = \bigsqcup \langle f \sqcap \rangle^{\ast} S $ for principal funcoid $ f $ and a set $ S $ of funcoids of appropriate sources and destinations.

It's used notation from Algebraic General Topology book


*Victor Porton. A blog post

* indicates original appearance(s) of problem.