New to set/category theory here, so this is most likely a failure on my part to understand what the diagram is actually depicting but, why does the Identity function diagram contain two sets?
Shouldn't it'd be just the one set with one arrow "turning back on itself"?