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.