多項式インスティチューションは簡易インスティチューションの簡単な例だと思う。似たような例に命題論理のインスティチューションがある。が、もっと簡単な例がある。Pow*、Pow*をそれぞれ、共変と反変のベキ関手だとする。Pow*(f)をf*、Pow*(f)をf*と略記…