安定化されたプロファンクターと構造の安定種

新しい線形論理のモデルを提供する。