Category Theory-Based Synthesis of a Higher-Level Fusion Algorithm: An Example | IEEE Conference Publication | IEEE Xplore