以前にも書いたが、包含的圏〈inclusive category〉は、
- Composing Hidden Information Modules over Inclusive Institutions (2004)
- Joseph Goguen, Grigore Rosu
- 25p
- https://fsl.cs.illinois.edu/publications/goguen-rosu-2004-dahl.pdf
包含系は：
- Grothendieck Inclusion Systems
- Razvan Diaconescu
- 18p
- http://www.imar.ro/~diacon/PDF/gis.pdf
