3 ms·
I've only seen mathematicians use the terms morphisms, arrows, and domain/codomain. It is true that morphisms and arrows mean the same thing, but I think that's
by mikebenfield 10y ago
I've only seen mathematicians use the terms morphisms, arrows, and domain/codomain. It is true that morphisms and arrows mean the same thing, but I think that's because the term morphism is specific to category theory and the term arrow is from graph theory.
All the other terms here (abstract functions, origin, destination, argument type, return type) appear to be the author's attempt to make the subject understandable to programmers.
- johnloeber 10y agoThe term "arrow" is from category theory, not graph theory.
- fabianhjr 10y agoMorphism is from Algebra/General Mathematics and it is a function that preserves a "structure". (Group Morphism, Isomorphism between sets, etc) In Graph Theory the terminology is Node and Vertex. Arrow, Source and Target are from Category Theory.
- tel 10y agoMorphism is the standard general term. If you have a collection of objects with the some sort of structure then a morphism maps one of those to another preserving that structure. In CT you usually are dealing with morphisms, but not always and that intuition can get in your way. For this reason, arrow is sometimes used instead to indicate something a little more abstract than morhism.