(no subject)
Jun. 20th, 2022 12:35 pmThis use of 1, 2, 2 x 2, is based on the insight that these very simple categories are ‘basic figure shapes’ for the analysis of general categories; it is an example of a general
method for analyzing the ‘inside’ of objects in any category
--- Lawvere & Schanuel. Conceptual Mathematics, 2009. p 370.
In the context of Lawvere's 1992 paper "Categories of Space and Quantity", 1 represents being; 2 - becoming; 2x2 – coherent scenarios of becoming, with a natural transformation between them (theories).