アーマン／チャップマン／ウウスタル〈Danel Ahman, James Chapman, Tarmo Uustalu〉による有向コンテナは、圏と同値な構造です。コンテナをベースにした定義であることから幾つかのメリットがあります。有向コンテナの“ある種の双対”をとった余有向コンテナ…