category theory

# 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)