19/05/23 06:48:07.47 cudtBCo2.net
Goサーベイの11ページより引用
Let C be a category.
We define a poly-morphism A → B for A,B ∈ Ob(C)
to be a (possibly empty) set of morphisms A → B in C.
A poly-morphism for which each constituent morphism is an isomorphism
will be called a poly-isomorphism.
If A = B, a poly-isomorphism A →B will be called a poly-automorphism.
We define the full poly-isomorphism A →B to be the set of all isomorphisms A →B.