gr ∘ {\displaystyle \circ } fil ≅ {\displaystyle \cong } (naturally equivalent) Id, but fil ∘ {\displaystyle \circ } gr is not.
