Matteo Capucci on Nostr: nprofile1q…j4x5t it's the Grothendieck construction of the embedding of Cat in CAT
nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzc3f2ytrz5rg45adl0x43zn3cldeusm8j6fpst2u4tl5z0xvdlk2rj4x5t (nprofile…4x5t) it's the Grothendieck construction of the embedding of Cat in CAT