By Jonas Frey

We construct a category of fibrant objects \(\mathbb{C}\langle P\rangle\) in the sense of Brown from any regular hyperdoctrine \(P : \mathbb{C}^{\mathsf{op}}\to\mathbf{Pos}\), and show that its homotopy category is the Barr-exact category \(\mathbb{C}[P]\) of partial equivalence relations and compatible functional relations. We give criteria for the the existence of left and... Show more

March 25, 2020

Loading full text...

Similar articles

Loading recommendations...

x1

Categories of partial equivalence relations as localizations

Click on play to start listening