無限オペラッドの同型性

本論文の第一部では、バー構成に基づいて定義された微分グレーディッドオペラッドの通常のホモロジーを拡張する無限オペラッドおよび樹状空間のためのホモロジー理論を導入し、その基本的な性質のいくつかを証明します。第二部では、一般的なバーとコバーの構成を定義します。これらの構成は無限オペラッドを無限コペラッドに、逆に無限コペラッドを無限オペラッドに送信し、随伴バー・コバー（または「コシュール」）双対性を定義します。驚くべきことに、この双対性は無限オペラッドを定義する木のカテゴリにおける任意のプレシーフとコプレシーフの間でも成り立つことが示されます。我々は、我々の手法が完全に初等的で明示的であることを強調します。