Notes for AKT-091020/0:37:29

gr [math]\displaystyle{ \circ }[/math] fil [math]\displaystyle{ \cong }[/math](naturally equivalent) Id,

but fil [math]\displaystyle{ \circ }[/math] gr is not naturally equivalent to identity.