nLab
internal subcategory
Contents
Context
Category theory
category theory
Concepts
Universal constructions
Theorems
Extensions
Applications
Notions of 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:15.
See the history of this page for a list of all contributions to it.