Description:

This is a reformatting of an couple articles I posted on the USENET in sci.math.* in the 1990's that presents Spencer-Brown's Laws of Form as a categorical logic, along the same lines as Lambek-Scott (for instance), by bringing out the latent categorical concept that already underlay his original presentation.