koher さんが圏論に興味を持ってくれたことにテンションがあがってつい主語が大きくなってしまいました :trollface: