メモです。 2021.1.08に発見した「中心の普遍性」についてメモしておきます。 以下を(対称閉)モノイダル圏とし、をそのモノイド対象とする。 が以下を満たすとき、これをの中心と呼びと表す。: ①の射がある。 ②は任意のに対してを満たす。*1 ③と射があり、こ…

メモです。 2020.12.18にTwitterにて「米田の補題の直感的で雑なお気持ちの理解」をテーマに連続ツイートをしたので、それを一部修正しつつ、はてなブログにもまとめておきます。 「圏、関手、自然変換の定義は知っていて、Hom関手が関手になることもわかっ…