2015-08-28 Preservation of ends 圏論 定義 Enriched End (の定義が抜けていたので・・・) Preservation of ends -functor: および -end: について が -end となること。 記法 命題: Internal hom functors preserve ends (と呼ぶのが良さそう) 証明 記法 参考文献 Basic Concepts of Enriched Category Theory