1
$\begingroup$

Is this a typo in Conceptual Mathematics by Lawvere and Schanuel? Screenshot

Shouldn't identity law 1b be on $f$, not $g$, like this?

$1_B \circ f = f $

1 Answers 1

4

Yes.${}{}{}{}{}{}{}{}{}{}{}{}$