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 11:04:14 by Urs Schreiber (217.232.18.193)