CatGloss

$ - arrow. $ square $ We shall reconsider the structure of nno’s in $ operatorname{mathbf{Top}}(I) $ again in Chapter 14