On category theory formulated “formally” in the 2-category Cat of all categories:
Springer 1974 (doi:10.1007/BFb0061280)
Gray tensor product
Gray category
Last revised on June 10, 2021 at 04:45:51. See the history of this page for a list of all contributions to it.