Bartosz Milewski on Nostr: nprofile1q…70775 I guess we are saying the same thing, with a different emphasis. I ...

nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyqjv3gcv7ak6rc7svzew2rdes6qwtqxa6efl0c2rgv2m0ys7jyge5n70775 (nprofile…0775) I guess we are saying the same thing, with a different emphasis. I would reword your result as "given an actegory one can always construct a locally graded category that is equivalent to the Para construction."