Results 31 to 40 of about 1,552,204 (312)
Modalities in homotopy type theory
, 2020 Univalent homotopy type theory (HoTT) may be seen as a language for the category of $\infty$-groupoids. It is being developed as a new foundation for mathematics and as an internal language for (elementary) higher toposes.
Rijke, Egbert +2 more
core +1 more source
Modeling and Analysis of Indian Carnatic Music Using Category Theory
IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2018 This paper presents a category theoretic ontology of Carnatic music. Our goals here are twofold. First, we will demonstrate the power and flexibility of conceptual modeling techniques based on a branch of mathematics called category theory (CT), using ...
Sarala Padi +3 more
semanticscholar +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
Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond [PDF]
ACCAT, 2012 There is a hidden intrigue in the title. CT is one of the most abstract mathematical disciplines, sometimes nicknamed "abstract nonsense". MDE is a recent trend in software development, industrially supported by standards, tools, and the status of a new "
Z. Diskin, T. Maibaum
semanticscholar +1 more source
Dualizability in Low-Dimensional Higher Category Theory [PDF]
, 2013 These lecture notes form an expanded account of a course given at the Summer School on Topology and Field Theories held at the Center for Mathematics at the University of Notre Dame, Indiana during the Summer of 2012.
Christopher J. Schommer-Pries
semanticscholar +1 more source
Analyzing The Presentation Of Geometry Material Based On Bruner's Theory In Mathematics Textbook [PDF]
, 2019 This research aims to know the conformity of presentation based on Bruner’s theory on fourth-grade mathematics textbook. This is qualitative research. The object of research is the material presentation of a fourth-grade mathematics textbook.
Haidar, Dimas Abdi +2 more
core +2 more sources
PLoS Comput. Biol., 2017 Category Theory, a branch of mathematics, has shown promise as a modeling framework for higher-level cognition. We introduce an algebraic model for analogy that uses the language of category theory to explore analogy-related cognitive phenomena.
Jairo A. Navarrete, P. Dartnell
semanticscholar +1 more source
Categorical Ontology I - Existence [PDF]
, 2020 The present paper approaches ontology and metaontology through mathematics, and more precisely through category theory. We exploit the theory of elementary toposes to claim that a satisfying “theory of existence”, and more at large ontology itself, can
Dentamaro, Dario, Loregian, Fosco
core +2 more sources
Experimental Mathematics and Mathematical Physics [PDF]
Contemp. Math. 517 (Amer. Math. Soc., 2010), 41--58, 2010 One of the most effective techniques of experimental mathematics is to compute mathematical entities such as integrals, series or limits to high precision, then attempt to recognize the resulting numerical values. Recently these techniques have been applied with great success to problems in mathematical physics. Notable among these applications are the
arxiv +1 more source
A non-standard analysis of a cultural icon: The case of Paul Halmos
, 2016 We examine Paul Halmos' comments on category theory, Dedekind cuts, devil worship, logic, and Robinson's infinitesimals. Halmos' scepticism about category theory derives from his philosophical position of naive set-theoretic realism.
Blaszczyk, Piotr +6 more
core +1 more source