Results 21 to 30 of about 6,079,445 (193)
Goodwillie's calculus of functors and higher topos theory [PDF]
Journal of Topology, 2017 We develop an approach to Goodwillie's calculus of functors using the techniques of higher topos theory. Central to our method is the introduction of the notion of fiberwise orthogonality, a strengthening of ordinary orthogonality which allows us to give
M. Anel +3 more
semanticscholar +1 more source
On the Nielsen-Schreier Theorem in Homotopy Type Theory [PDF]
Logical Methods in Computer Science, 2022 We give a formulation of the Nielsen-Schreier theorem (subgroups of free groups are free) in homotopy type theory using the presentation of groups as pointed connected 1-truncated types.
Andrew W Swan
doaj +1 more source
On the Structure of Abstract H*-Algebras [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 Previously we have shown that the topos approach to quantum theory of Doering and Isham can be generalised to a class of categories typically studied within the monoidal approach to quantum theory of Abramsky and Coecke.
Kevin Dunne
doaj +1 more source
Mathematics, 2021 The purpose of this paper is to promote new methods in mathematical modeling inspired by neuroscience—that is consciousness and subconsciousness—with an eye toward artificial intelligence as parts of the global brain.
Ileana Ruxandra Badea +3 more
doaj +1 more source
On Monstrosity of Metaphor in Cognitive Paradigm [PDF]
Известия Южного федерального университета: Филологические науки, 2016 Khazagerov Georgy Georgievich - Ph.D. of philology, professor. Russian language dpt. Institute of philology, journalism and cross-cultural communication. Southern Federal University. Abstract.
Георгий Георгиевич Хазагеров
doaj +4 more sources
Spectral Presheaves, Kochen-Specker Contextuality, and Quantale-Valued Relations [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 In the topos approach to quantum theory of Doering and Isham the Kochen–Specker Theorem, which asserts the contextual nature of quantum theory, can be reformulated in terms of the global sections of a presheaf characterised by the Gelfand spectrum of
Kevin Dunne
doaj +1 more source
Lawvere-Tierney sheafification in Homotopy Type Theory
Journal of Formalized Reasoning, 2016 Sheafification is a popular tool in topos theory which allows to extend the internal logic of a topos with new principles. One of its most famous applications is the possibility to transform a topos into a boolean topos using the dense topology, which ...
Kevin Quirin, Nicolas Tabareau
doaj +1 more source
Unsharp Values, Domains and Topoi [PDF]
, 2011 The so-called topos approach provides a radical reformulation of quantum theory. Structurally, quantum theory in the topos formulation is very similar to classical physics.
Barbosa, Rui Soares, Doering, Andreas
core +1 more source
A Topos Foundation for Theories of Physics: IV. Categories of Systems [PDF]
, 2007 This paper is the fourth in a series whose goal is to develop a fundamentally new way of building theories of physics. The motivation comes from a desire to address certain deep issues that arise in the quantum theory of gravity.
A. Döring +3 more
core +2 more sources