Yeah, my first thought was "you know, I think I've seen this before, in my category theory course in grad school."