モダリティ／コンストラクタ／コンビネータによる定式化

• フランツによる統計的独立性の定義 - 檜山正幸のキマイラ飼育記 (はてなBlog)

射影付きモノイド積に対するフランツの独立性、これもモダリティ／コンストラクタ／コンビネータでアプローチできないか。