りんす
esnir.bsky.social
りんす
@esnir.bsky.social
初心者Haskeller。圏論勉強中 https://zenn.dev/esnir
今までFからAへの普遍射にこの可換図式を使っていたんだけど、uの矢印の向きを極限の図式に合わせたいなあと思い始めてる
January 20, 2024 at 2:17 PM