ULLER's three independent semantics are unified as instances of monads, enabling modular addition of new semantics and translations between them.
Reyes.First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories, volume 611 ofLecture Notes in Mathematics
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
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.
citing papers explorer
-
NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
ULLER's three independent semantics are unified as instances of monads, enabling modular addition of new semantics and translations between them.
-
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.