2019-11-16から1日間の記事一覧
drive.google.com 私は普段Diffeologyを勉強してますが、少し面白い随伴関手を見つけたので記事にしました。 一般的に忘却関手が左随伴を持つことは多いのですが、右随伴を持つことが少ないです。ですがDiffeologyを勉強する中で右随伴を持つ忘却関手を得ら…
drive.google.com 私は普段Diffeologyを勉強してますが、少し面白い随伴関手を見つけたので記事にしました。 一般的に忘却関手が左随伴を持つことは多いのですが、右随伴を持つことが少ないです。ですがDiffeologyを勉強する中で右随伴を持つ忘却関手を得ら…