Sign in

Categories of partial equivalence relations as localizations

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
=
0
Loading PDF…
Loading full text...
Similar articles
Loading recommendations...
=
0
x1
Categories of partial equivalence relations as localizations
Click on play to start listening