Yoneda representations of flat functors and classifying toposes
Category Theory
2013-04-26 v1 Logic
Abstract
In this paper, we first introduce a technique that we call "Yoneda representation of flat functors", based on ideas from indexed category theory; then we provide applications of this technique to the theory of classifying toposes. Specifically, we obtain results characterizing the models of a theory classified by a topos of the form Sh(C,J) in terms of the models of a theory classified by the topos [C^op, Set].
Cite
@article{arxiv.0805.2187,
title = {Yoneda representations of flat functors and classifying toposes},
author = {Olivia Caramello},
journal= {arXiv preprint arXiv:0805.2187},
year = {2013}
}
Comments
15 pages