f^-1と∪, ∩の交換と圏論について
のPDF「Kan拡張」に載っている例の話です
togetter.com