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