In section 5.1.1 where category is defined the author says
B. for every pair x, y ∈ Ob(C), a set HomC(x,y)∈Set; it is called the hom-set from x to y; its elements are called morphisms from x to y;2
Footnote 2 says
The reason for the notation Hom and the word hom-set is that morphisms are often called homomorphisms, e.g., in group theory.
But morphisms and homomorphisms are different, right ? Morphism can be anything, homomorphisms are more restrictive. Is that correct ? For eg: there can be morphisms between 2 groups that are not homomorphisms, right ?
A graph (V, A, src, tgt) involves two sets and two functions. For two graphs to be comparable, their two sets and their two functions should be appropriately comparable. Let G = (V, A, src, tgt) and G′ = (V′, A′, src′, tgt′) be graphs. A graph homomorphism f from G to G′, denoted f : G → G′, consists of two functions f0: V → V′ and f1: A → A′ …the rest…
So this means that not all elements of A’ need to have a mapping from A and not all elements of V’ need to have a mapping from V. For example if G has m vertices and n edges and G’ has m'(>1) vertices and n'(>1) edges we could have all vertices of G go to one vertex of G'(say a) and all edges of G go to an edge from a to a(assuming that exists) in G’. That would be a valid homomorphism. Am I understanding that correctly ?
If you’re joining us in progress, please feel free to add in any questions you might have about previous material as well – it’s never too late to join us all.
If you’re stuck and can’t make it, it will be archived (barring any further technical difficulties) on our YouTube Channel for later consumption.
For those who have had difficulties joining in the weekly live conversation, be sure to log into Google+ a few minutes before the start of the meeting. Once it starts the moderators send out additional invitation reminders to join the conversation which should result in a pop up on your Google+ page inviting you into the live video/audio feed.
Some will notice that we’ve slowed down a tad to accommodate the peleton who have been doing the diligence to keep up. Hopefully the last week “off” for the July 4th holiday in the states will have let everyone catch up a bit. The syllabus will be changing to meet our needs as we proceed.
For those with some general background in Category Theory, we’ll be getting into the serious material shortly.