> A short reference request: I'm interested in the category-theoretic > presentations of set-theoretic forcing A list of references is kept here: https://ncatlab.org/nlab/show/forcing#ReferencesInTermsOfClassifyingToposes Best wishes, Urs Schreiber