Results 41 to 50 of about 9,831,323 (353)
Simplicial presheaves of coalgebras [PDF]
, 2011 The category of simplicial R-coalgebras over a presheaf of commutative unital rings on a small Grothendieck site is endowed with a left proper, simplicial, cofibrantly generated model category structure where the weak equivalences are the local weak ...
Brown +11 more
core +1 more source
The Structure of Meaning in Language: Parallel Narratives in Linear Algebra and Category Theory
Notices of the American Mathematical SocietyCategories for AI, an online program about category theory in machine learning, unfolded over several months beginning in the Fall of last year. The “Cats for AI” organizing committee, which included several researchers from industry including two from ...
Tai-Danae Bradley +4 more
semanticscholar +1 more source
A convenient category for higher-order probability theory [PDF]
Logic in Computer Science, 2017 Higher-order probabilistic programming languages allow programmers to write sophisticated models in machine learning and statistics in a succinct and structured way, but step outside the standard measure-theoretic formalization of probability theory ...
C. Heunen +3 more
semanticscholar +1 more source
Category Free Category Theory and Its Philosophical Implications [PDF]
, 2016 There exists a dispute in philosophy, going back at least to Leibniz, whether is it possible to view the world as a network of relations and relations between relations with the role of objects, between which these relations hold, entirely eliminated ...
M. Heller
semanticscholar +1 more source
Rigidification of algebras over multi-sorted theories
, 2009 We define the notion of a multi-sorted algebraic theory, which is a generalization of an algebraic theory in which the objects are of different "sorts." We prove a rigidification result for simplicial algebras over these theories, showing that there is a
Adámek +13 more
core +1 more source
An Invitation to Applied Category Theory
, 2019 Category theory is unmatched in its ability to organize and layer abstractions and to find commonalities between structures of all sorts. No longer the exclusive preserve of pure mathematicians, it is now proving itself to be a powerful tool in science ...
Brendan Fong, David I. Spivak
semanticscholar +1 more source
Topological Superconductors and Category Theory [PDF]
, 2015 We give a pedagogical introduction to topologically ordered states of matter, with the aim of familiarizing the reader with their axiomatic topological quantum field theory description.
A. Bernevig, T. Neupert
semanticscholar +1 more source
Cluster theory of the coherent Satake category [PDF]
Journal of The American Mathematical Society, 2018 We study the category of G ( O ) G(\mathcal {O}) -equivariant perverse coherent sheaves on the affine Grassmannian G r G \mathrm {Gr}_G
Sabin Cautis, H. Williams
semanticscholar +1 more source
Journal of Innovation Management, 2020 Competitiveness results from factors beyond the structural conditions and organizational boundaries, such as interorganizational cooperation. Evidence gathered in Brazilian credit unions suggests there is a social process in the firm for generating ...
Bruno da Rocha Braga
doaj +1 more source
AIMS Mathematics, 2023 In this article, a new type of generalized, self-evolving and efficient automated statement proof algorithm based on new data structures, i.e., brackets and map graphs, and new algorithms is presented.
Zijian Wang, Xinhui Shao
doaj +1 more source