Just as any category gives rise to a double category of commutative squares, any double category gives rise to a triple category of commutative “cubes” by taking the transversal morphisms to be the same as the vertical morphisms.

Last revised on August 12, 2019 at 15:16:18.
See the history of this page for a list of all contributions to it.