A notion of subcategory formulated from within the internal logic of the ambient category.
A certain internal subcategory of the effective topos is discussed in
Created on November 18, 2011 at 11:04:15. See the history of this page for a list of all contributions to it.