Resolvent embeddings
Category Theory
2014-02-19 v3
Abstract
Many ex/reg completions that arise in categorical realizability and tripos theory admit left Kan extensions of arbitrary finitely continuous functors to arbitrary exact categories. This paper identifies the property which is responsible for these extensions: the functors are *resolvent*. Resolvency is characteristic of toposes that are ex/reg completions of regular categories with (weak) dependent products and generic monomorphisms. It also helps to characterize the toposes that the tripos-to-topos construction produces.
Cite
@article{arxiv.1310.5955,
title = {Resolvent embeddings},
author = {Wouter Pieter Stekelenburg},
journal= {arXiv preprint arXiv:1310.5955},
year = {2014}
}