nostr:npub1knzsux7p6lzwzdedp3m8c3c92z0swzc0xyy5glvse58txj5e9ztqpac73p I'm pretty sure we did :-) We purposely said something like that using infinity-categorical universal properties is not helpful for physics, not the kind of physics that wants to actally draw a graph and calculate things like numbers.... Though maybe we had to trim some of this because a past referee said we explained things too well in the intro, making it seem like a survey paper.