一般的な射の話をしているのに写像で考えてしまいがち - 結城浩の圏論勉強プロジェクト 結城浩さんの記事 うちもObsidianに残すほどじゃなかったけど、対象がただ1つ、射がそれぞれの要素になるような圏を考えてるときに写像としてイメージすることがあった