General abstract nonsense.

I finally created a custom, fully static, self-hosted website, and bought a new domain!

I've been amiss from here since August, but only because I've been prolific somewhere else.

Moved to https://matteocapucci.eu/on-elements-in-category-theory/ Today I stumbled upon a quote by Lawvere: There has been for a long time the persistent myth that objects in a category are “opaque”, that there are only “indirect” ways of “getting inside”…

I’ve just read one of the best pieces of writing about the why of applied category theory I ever had the pleasure to read.

Moved to https://matteocapucci.eu/no-the-yoneda-lemma-doesnt-solve-the-problem-of-qualia/ Category theory is an extremely insightful subject but its generality, the plethora of structural heuristics it provides, as well as its apparent conceptual simplici…

I’m in the business of categorical cybernetics.

Here’s my take: social structures are the most impactful technology humans ever developed.

Last night I finally wrapped my head around a definition of fibration which has been confusing me for a while.

Moved to https://matteocapucci.eu/mathematicians-dont-care-about-foundations/ Many people seem to believe mathematicians work in non-constructive, non-structural, battered foundations because they love their Platonic realm and have a kink for AC and LEM.

Tai-Danae Bradley gave a very interesting talk today, for the series of Cats4AI lectures about the following paper, with the usual stellar insights and intuitions she’s able to communicate.