Results 21 to 30 of about 1,637,092 (305)
Crossed Corner and Reduced Simplicial Commutative Algebras
Journal of New Theory, 2023 In this paper, we describe the crossed corner of commutative algebras and present the relation between the category of crossed corners of commutative algebras and the category of reduced simplicial commutative algebras with Moore complex of length 2.
Özgün Gürmen Alansal
doaj +1 more source
The function ring functors of pointfree topology revisited [PDF]
Categories and General Algebraic Structures with Applications, 2019 This paper establishes two new connections between the familiar function ring functor ${\mathfrak R}$ on the category ${\bf CRFrm}$ of completely regular frames and the category {\bf CR}${\mathbf \sigma}${\bf Frm} of completely regular $\sigma$-frames as
Bernhard Banaschewski
doaj +1 more source
A categorical characterization of relative entropy on standard Borel spaces [PDF]
Logical Methods in Computer Science, 2023 We give a categorical treatment, in the spirit of Baez and Fritz, of relative entropy for probability distributions defined on standard Borel spaces. We define a category suitable for reasoning about statistical inference on standard Borel spaces.
Nicolas Gagne, Prakash Panangaden
doaj +1 more source
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
Completeness for the coalgebraic cover modality [PDF]
Logical Methods in Computer Science, 2012 We study the finitary version of the coalgebraic logic introduced by L. Moss. The syntax of this logic, which is introduced uniformly with respect to a coalgebraic type functor, required to preserve weak pullbacks, extends that of classical propositional
Clemens Kupke +2 more
doaj +1 more source
Synthetic spectra and the cellular motivic category [PDF]
Inventiones Mathematicae, 2018 To an Adams-type homology theory we associate the notion of a synthetic spectrum; this is a product-preserving sheaf on the site of finite spectra with projective E -homology. We show that the $$\infty $$ ∞ -category of synthetic spectra based on E is in
Piotr Pstrągowski
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
Complexity of Grammar Induction for Quantum Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Most categorical models of meaning use a functor from the syntactic category to the semantic category. When semantic information is available, the problem of grammar induction can therefore be defined as finding preimages of the semantic types under this
Antonin Delpeuch
doaj +1 more source
On Extension Of Functors [PDF]
, 2011 A.Chigogidze defined for each normal functor on the category Comp an extension which is a normal functor on the category Tych. We consider this extension for any functor on the category Comp and investigate which properties it preserves from the ...
Karchevska, Lesya, Radul, Taras
core +2 more sources