Analytic functors between presheaf categories over groupoids
Category Theory
2013-06-21 v2
Abstract
The paper studies analytic functors between presheaf categories. Generalising results of A. Joyal and of R. Hasegawa for analytic endofunctors on the category of sets, we give two characterisations of analytic functors between presheaf categories over groupoids: (i) as functors preserving filtered colimits, quasi-pullbacks, and cofiltered limits; and (ii) as functors preserving filtered colimits and wide quasi-pullbacks. The development establishes that small groupoids, analytic functors between their presheaf categories, and quasi-cartesian natural transformations between them form a 2-category.
Cite
@article{arxiv.1303.5638,
title = {Analytic functors between presheaf categories over groupoids},
author = {Marcelo Fiore},
journal= {arXiv preprint arXiv:1303.5638},
year = {2013}
}