2014-12-09から1日間の記事一覧
(と呼ぶかは分からない) Kan extension の族から ある functor: について、right kan extension along の族: つまり -terminal morphism の族が存在すれば、Pointwise construction of adjoints - PS より となるような functor: を作れる。 Kan extension …
(と呼ぶかは分からない) Kan extension の族から ある functor: について、right kan extension along の族: つまり -terminal morphism の族が存在すれば、Pointwise construction of adjoints - PS より となるような functor: を作れる。 Kan extension …