Bartosz Milewski on Nostr: nprofile1q…70775 nprofile1q…wp3nn I think I misunderstood the para/graded ...

nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyqjv3gcv7ak6rc7svzew2rdes6qwtqxa6efl0c2rgv2m0ys7jyge5n70775 (nprofile…0775) nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr2u6559vtv0nfk2m0995f4vcahyyktsy42ay7zdztq6e2uklmwqjwwp3nn (nprofile…p3nn) I think I misunderstood the para/graded equivalence. My intuition was that Para on top of an actegory, with parameterized hom sets \(a \bullet m\to b\) is equivalent to a locally graded category with hom-sets graded by M (a category enriched over [M, Set]). But you seem to show that a graded category is equivalent to the actegory itself, not the Para. Am I wrong?