射はドメインとコドメインで決まるわけではない
今日の圏論
は
圏論初心者の勘違い
について
射fを考えなくてはいけないときにdom fとcod fという対象だけを考えてしまうミス。
ドメインとコドメインを押さえれば射が決まると誤解している(だから平行射の話を聞いたときに???となった)。
そこから派生して「二つの射」と「射の合成」で混乱するときがある。
#20180917
#20180917080450
ツイート