Basic Concepts of Enriched Category Theory というすごい本についての感想と補足･･･ 動機 Category Theory (Oxford Logic Guides) を読んでも Coyoneda らしきものが出てこない。 予備知識 Monoidal category の coherence 要件が(凡人には)複雑すぎて遅か…

命題: Limits in 証明 実装 補題: A reduction of limits in 命題: Hom functors preserve limits (Limits via limits in ) 証明 および、補題により確かに Preservation of weighted limits - PS の形になる。 参考文献 Basic Concepts of Enriched Category…

定義: Precomposition functor Exponentiation 2-functor on enriched categories - PS の を使って、 命題 Left Kan extension: について -natural in しかも、この representation の unit は 。 証明 参考文献の通り(に計算する)。 系: Kan adjoints Left…

定義: 1-limits 1-functor: 命題: 1-limits via weighted limits 証明 Representability による limit - PS による。 による。 命題 1-functor: 1-category: -category: について、Free enriched category - PS による 2-adjunction: を使うと -natural in …