>>460-461
トポスとして論理を眺めたら構造が4つの射だけになった
これが様相論理の最小単位(古典論理の同値律、矛盾律、排中律のうち排中律を省いたモノ)

この構造の射と対象からプルバックの性質を除くと論理演算が束にならない