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
Last revised on July 18, 2024 at 16:13:49. See the history of this page for a list of all contributions to it.