In Lecture Notes in Mathematics 1488, Lawvere writes the introduction to the Proceedings for a 1990 conference in Como.

In this article, Lawvere, the inventor of Toposes and Algebraic Theories, discusses two ancient philosophical "categories": that of BEING and that of BECOMING. And he's serious. While some of the motivation for this article is to understand these two ancient even mystical topics, the actual content is almost purely mathematical. Lawvere makes definitions and claims in the manner of a serious mathematician engaged in deliberate but casual explanation of ideas.

I want to understand this article, but it is difficult. The definitions seem to be written for someone with a bit more background or expertise on topos theory and its application.

Q: I am writing to ask whether anyone here has read or understood this article (or parts of it). I'm interested in your thoughts on it. Have the ideas been written formally?