I have recently proved that there is an order isomorphism between funcoids and filters on the lattice of finite unions of Cartesian products of sets.

Today I’ve proved that this bijection preserves composition.

See this note (updated) for the proofs.

Leave a Reply

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