Is this a typo in Conceptual Mathematics by Lawvere and Schanuel?
Shouldn't identity law 1b be on $f$, not $g$, like this?
$1_B \circ f = f $
Is this a typo in Conceptual Mathematics by Lawvere and Schanuel?
Shouldn't identity law 1b be on $f$, not $g$, like this?
$1_B \circ f = f $
Yes.${}{}{}{}{}{}{}{}{}{}{}{}$