This page is a sub-page of our page on Category Theory. /////// Related KMR pages: • Institution Theory /////// Quoting from (Spivak, 2014, p. 383): 1.1. Quantifiers as adjoints One of the simplest but neatest places that adjoints show up is between preimages and the logical quantifiers and , which we first discussed in Notation … Continue reading Adjoint Functors