You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Ellis D. Cooper (Jun 27 2021 at 12:30):Some philosophers ask questions such as: What is philosophy? What is a human being? What is a thing? What is life? If a question expresses a hole in understanding, then filling the hole leaves a whole. "Biological Circularchy" is supposed to be an adjustable formal framework with enough expressive power to articulate biological theory about Earthly Life in the sense of multi-scale biological autonomy constrained by thermodynamics. It is a never-ending project, and the following link is a "table of contents" for the first interim report. This is not a secret.
Category-theoretic keywords: commutative diagram, bundle, dependent products, sub-object classifiers, nilsquare infinitesimal, monoidal category, "arrows-only" category.