@Jesus, I'm also pretty excited about the comment by prof. Ellerman about distinctions. The laws of form are also picked up by Fransico Varela in order to model biological autonomy using category theory and adjunctions. There was a recent [article by Loius Kauffman]( http://www.univie.ac.at/constructivism/journal/13/1/011.kauffman) on this topic.