search

hmemcpy / milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
Other
11.02k stars 595 forks source link

Question: Difference between "arrow" and "morphism" #342

Closed ktgw0316 closed 2 weeks ago

ktgw0316 commented 2 weeks ago

This may be a silly question, but what is the difference between the terms "arrow" and "morphism"?

I understand that they refer to the same thing, but I don't understand how the terms are used differently. For example, why is "Kleisli arrow" used instead of "Kleisli morphism" in this book?

BartoszMilewski commented 2 weeks ago

They are interchangeable. You can say Kleisli morphism. I personally prefer to use the term "arrow", but I want the readers to be familiar with "morphism," which they will find used in the literature.