(untitled)

But we know already that $f$ and $f’$ are isomorphic and hence $fcirc f’ = id$, so the above formula is equivalent to (you can reference the diagram to see what that means): -- https:// abuseofnotation.github.io/cate gory-theory-illustrated/01_set/index.html