CatGloss
f_{
} $ and $ f_{1
} $ are naturally isomorphic