Results 21 to 30 of about 94,161 (290)
Backprop as Functor: A compositional perspective on supervised learning [PDF]
Logic in Computer Science, 2017 A supervised learning algorithm searches over a set of functions $A\rightarrow B$ parametrised by a space $P$ to find the best approximation to some ideal function $f:A\rightarrow B$. It does this by taking examples $(a, f(a))\in A\times B$, and updating
Brendan Fong +2 more
semanticscholar +1 more source
An expressive completeness theorem for coalgebraic modal mu-calculi [PDF]
Logical Methods in Computer Science, 2017 Generalizing standard monadic second-order logic for Kripke models, we introduce monadic second-order logic interpreted over coalgebras for an arbitrary set functor. We then consider invariance under behavioral equivalence of MSO-formulas.
Sebastian Enqvist +2 more
doaj +1 more source
Derived functors of the divided power functors [PDF]
Geometry & Topology, 2016 Some minor changes to the exposition.
Breen, Lawrence +2 more
openaire +7 more sources
Foundations of Physics, 2023 In this document, we introduce a novel formalism for any field theory and apply it to the effective field theories of large-scale structure. The new formalism is based on functors of actions composing those theories. This new formalism predicts the actionic fields. We discuss our findings in a cosmological gravitology framework.
Ntelis, P. +3 more
openaire +4 more sources
Adjoint functor theorems for ∞ ‐categories [PDF]
Journal of the London Mathematical Society, 2018 Adjoint functor theorems give necessary and sufficient conditions for a functor to admit an adjoint. In this paper, we prove general adjoint functor theorems for functors between ∞ ‐categories.
Hoang Kim Nguyen +2 more
semanticscholar +1 more source
The center of a Green biset functor [PDF]
Pacific Journal of Mathematics, 2019 For a Green biset functor $A$, we define the commutant and the center of $A$ and we study some of their properties and their relationship. This leads in particular to the main application of these constructions: the possibility of splitting the category ...
S. Bouc, Nadia Romero
semanticscholar +1 more source
On the Frobenius functor for symmetric tensor categories in positive characteristic [PDF]
, 2019 We develop a theory of Frobenius functors for symmetric tensor categories (STC) 𝒞 {\mathcal{C}} over a field 𝒌 {\boldsymbol{k}} of characteristic p, and give its applications to classification of such categories.
P. Etingof, V. Ostrik
semanticscholar +1 more source
Pointed Drinfeld Center Functor [PDF]
Communications in Mathematical Physics, 2019 In this work, using the functoriality of the Drinfeld center of fusion categories, we generalize the functoriality of the full center of simple separable algebras in a fixed fusion category to all fusion categories.
Liang Kong, Wei Yuan, Hao Zheng
semanticscholar +1 more source
The Bousfield-Kuhn functor and topological André-Quillen cohomology [PDF]
Inventiones Mathematicae, 2017 We construct a natural transformation from the Bousfield-Kuhn functor evaluated on a space to the Topological André-Quillen cohomology of the K ( n )-local Spanier–Whitehead dual of the space, and show that the map is an equivalence in the case where the
M. Behrens, Charles Rezk
semanticscholar +1 more source
AI for identifying social norm violation
Scientific Reports, 2023 Identifying social norms and their violation is a challenge facing several projects in computational science. This paper presents a novel approach to identifying social norm violations.
Yair Neuman, Yochai Cohen
doaj +1 more source