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

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 https://en.wikipedia.org/wiki/Lambda_cube