generated at
2/18/2025, 5:56:50 PM
射
morphism
arrow
圏
C
の射
f\colon a\to b
域
domain
\operatorname{dom}(f) = a
余域
codomain
\operatorname{cod}(f) = b