Notes for AKT-091020/0:37:29

From Drorbn
Jump to: navigation, search

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

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