Categories of partial equivalence relations as localizations

Jonas Frey

We construct a category of fibrant objects $\mathbb{C}⟨P⟩$ in the sense of K. Brown from any indexed frame (a kind of indexed poset generalizing triposes) $P$, and sho…