y that is a fusion of the community portals with respect to the
alignment diagram. A canonical logic infomorphism links the sum logic
to the quotient logic &#8211; its type component maps sum types to their
equivalence class, and its instance component is subset inclusion. Two
fusion injections link the portals with the quotient logic. The
resulting unification diagram consists of two unification links from
the component ontologies to the fusion ontology. The links are the
composition of the portals links w