仲介射
mediating morphism
任意の錐から、極限錐への射
https://ja.stackoverflow.com/questions/70062/パターンマッチングは圏論における何ですか-仲介射ですか-それともプログラム固有の考え方ですか