Yoneda structures and KZ doctrines
arXiv:1703.08693 · doi:10.1016/j.jpaa.2017.07.004
Abstract
In this paper we strengthen the relationship between Yoneda structures and KZ doctrines by showing that for any locally fully faithful KZ doctrine, with the notion of admissibility as defined by Bunge and Funk, all of the Yoneda structure axioms apart from the right ideal property are automatic.
12 pages; final version; to appear in the Journal of Pure and Applied Algebra