nLab internal subcategory

Contents

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)

Last revised on July 18, 2024 at 16:13:49. See the history of this page for a list of all contributions to it.