Then a morphism is a function that maps ... meaningful question in mathematics is: When are two things the same? What does “same” mean, and how does it change depending on the kind of math you’re ...