nLab cross-composition product

Cross-composition products (including cross-composition products of funcoids, reloid?s, multifuncoid?s, multireloid?s) arise in the research of Victor Porton.

A cross-composition product is a pointfree funcoid?.

TODO: Write more here.

Last revised on June 14, 2012 at 23:59:15. See the history of this page for a list of all contributions to it.