Factorization homology
I gave a talk at CUNY about factorization homology, and have written up some notes which I’m posting here.
Mathematician and computer scientist. Interested in computable foundations of geometry and higher algebra.
Comments first published
I gave a talk at CUNY about factorization homology, and have written up some notes which I’m posting here.
Comments first published
We allow ourselves to speculate a bit about how the 1-dimensional logical constructs that one frequently encounters in practical approaches to mathematical foundations may in fact emerge from a set of “more fundamental” principles of compositionality in higher-dimensional logic. → read note
Comments first published
In this (exceedingly brief) note, we discuss computability questions in the context of manifold theory. The main observation is that several computabilty issues in classical “set-point (differential) topological” foundations may potentially be overcome when working with manifolds from the higher-categorical perspective of manifold diagrams and tangles. → read note
Comments first published
This note gives a brief visual guide to how one can understand the classical \(D_4\) singularity in terms of a categorical pasting diagram (aka manifold diagram, or more specifically, a tame tangle). → read note
Comments first published
Github markdown does not allow for easily writing mathematical formulaes. We discuss some work-arounds, pairable with the comment plugin giscus. → read note