【まとめ】

┏━┓　射　┏━┓
┃.A.┃　→　┃.B.┃
┗━┛　　　 ┗━┛
　対象　　　　　対象
（ドメイン）　 （コドメイン）


上の図が基本要素
これが複数あつまり関係しあったものを圏という