Notes for AKT-091020/0:37:29

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

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