nLab
internal subcategory

Contents

Idea

A notion of subcategory formulated from within the internal logic of the ambient category.

References

A certain internal subcategory of the effective topos is discussed in

  • Martin Hyland, A small complete category, Annals of Pure and Applied Logic 40 (1988) 135-165 (pdf)

Created on November 18, 2011 at 11:04:14. See the history of this page for a list of all contributions to it.