Dense feed-forward neural networks over floats can be presented as coherent categories G whose Set-models are the networks, with inference as precomposition along a coherent functor from a span category.
Physics, Topology, Logic and Computation: A Rosetta Stone
1 Pith paper cite this work, alongside 81 external citations. Polarity classification is still indexing.
1
Pith paper citing it
81
external citations · Crossref
fields
math.CT 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Presenting Neural Networks via Coherent Functors
Dense feed-forward neural networks over floats can be presented as coherent categories G whose Set-models are the networks, with inference as precomposition along a coherent functor from a span category.