CatGloss
We can then re - capture $ A_{i} $ as the inverse image under $ p $ of $ {i} $