A criterion for the existence of subobject classifiers

Hokkaido Mathematical Journal

Volumn 28, Issue 1, 1999, Pages 117-132

  Watanabe, Hiroshi ^a  

^a ELECTROTECHNICAL LABORATORY   (Japan)

Author keywords

Cocomplete; Dense; Subobject classifier; Topos

Indexed keywords

EID: 0004491164     PISSN: 03854035     EISSN: None     Source Type: Journal    
DOI: 10.14492/hokmj/1351001081     Document Type: Article

References (6)

1. Borceux F., Handbook of Categorical Algebra 1: Basic Category Theory. Cambridge U. P., Cambridge, 1994.
2. Kelly G.M., Basic concepts of enriched category theory. London Math. Soc. Lecture Notes Series 64, Cambridge U. P., Cambridge, 1982.
3. Mac Lane S., Categories for the Working Mathematician. Springer-Verlag, New York, 1971.
4. Mac Lane S. and Moerdijk I., Sheaves in Geometry and Logic: a first introduction to topos theory. Springer-Verlag, New York, 1992.
5. Tsujishita T. and Watanabe H., Monoidal closedness of the category of simulations. Hokkaido University Preprint Series in Mathematics, Series #392, 1997.
6. Watanabe H., The subobject classifier of the category of functional bisimulations. Hokkaido Mathematical Journal, to appear (1999).