That's basically just a boring old commutative diagram. You see them in a lot of places (ex the famous "lambda cube"[1]).

It's just an easy way to show a bunch of different variations of a thing when they cleanly split across properties and those properties commute.

1. https://en.wikipedia.org/wiki/Lambda_cube