射
morphism
arrow
圏
$ C
の射
$ f\colon a\to b
域
domain
$ \operatorname{dom}(f) = a
余域
codomain
$ \operatorname{cod}(f) = b