Ask a Question

Prefer a chat interface with context about you and your work?

The stable category of preorders in a pretopos II: the universal property

The stable category of preorders in a pretopos II: the universal property