Lokály zpracované převážně kovariantním způsobem

Abstrakt

Zejména u popisu podobjektů (ale i v jiných věcech) se ukazuje být velmi výhodná kovariantní práce s kategorií lokálů. Podobjekty jsou vyjádřeny jako svého druhu jednostranné ideály vzhledem k Heytingovské operaci.

Struktura svazu (co-frame) podobjektů je nyni daleko průhlednější. Důkazy jsou mnohem jednodušší.

Dostáváme nový pohled na separaci, zejména fitness a subfitness.

Klíčová slova

• Locales
• treated
• mostly
• covariant
• way