CatGloss

I $ a set $ F_{i} $ . So we can identify such functors with collections $ {F_{i}:iin I} $ of sets indexed by $ I $ . An object $ (X