Notes for AKT-091020/0:37:29

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

gr $\circ$ fil $\cong$ (naturally equivalent) Id,

but fil $\circ$ gr is not naturally equivalent to identity.