While writing my book I overlooked to consider the following statement:

Conjecture $latex f \sqcap \bigsqcup S = \bigsqcup \langle f \sqcap \rangle^{\ast} S$ for principal funcoid $latex f$ and a set $latex S$ of funcoids of appropriate sources and destinations.

Leave a Reply

Your email address will not be published. Required fields are marked *