Results 21 to 30 of about 152,913 (283)
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
A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS [PDF]
Journal of Symbolic Logic (JSL), 2018 Here, we present a category ${\mathbf {pEff}}$ which can be considered a predicative variant of Hyland's Effective Topos ${{\mathbf {Eff} }}$ for the following reasons.
M. Maietti, Samuele Maschio
semanticscholar +1 more source
Retoryka rzeczy w duchu zero waste, czyli o pozbawianiu i przywracaniu wartości
Res Rhetorica, 2022 Koncepcja zero waste, rozumiana najczęściej jako idea lub styl życia polegający na ograniczeniu produkcji odpadów poprzez świadomą konsumpcję oraz takie gospodarowanie produktami, by uniknąć powstawania śmieci, może mieć wpływ na sposób postrzegania ...
Agnieszka Grażul-Luft
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
The Cyclic and Epicyclic Sites [PDF]
, 2014 We determine the points of the epicyclic topos which plays a key role in the geometric encoding of cyclic homology and the lambda operations.
Connes, Alain, Consani, Caterina
core +2 more sources
Proceedings of the Design Society, 2019 In “Grande cuisine” creation and tradition co-evolve in a rich number of ways. Great chefs still use recipes from the 19th century and may also reinvent gastronomy itself. The creation heritage of culinary Art is the paradoxical capacity to both “respect”
A. Hatchuel +3 more
semanticscholar +1 more source
Topos points of quasi-coherent sheaves over monoid schemes [PDF]
Mathematical Proceedings of the Cambridge Philosophical Society, 2016 Let X be a monoid scheme. We will show that the stalk at any point of X defines a point of the topos of quasi-coherent sheaves over X. As it turns out, every topos point of is of this form if X satisfies some finiteness conditions.
Ilia Pirashvili
semanticscholar +1 more source
A Topos Foundation for Theories of Physics: III. The Representation of Physical Quantities With Arrows [PDF]
, 2007 This paper is the third in a series whose goal is to develop a fundamentally new way of viewing theories of physics. Our basic contention is that constructing a theory of physics is equivalent to finding a representation in a topos of a certain formal ...
A. Döring, C. J. Isham, Grayling A. C.
core +2 more sources
„Gespräch über Bäume“. Kleine Geschichte eines Missverständnisses
Wortfolge, 2017 Im Artikel wird die Geschichte des Topos „Gespräch über Bäume“ in der deutschsprachigen Literatur skizziert. Der Autor analysiert Bertolt Brechts Gedicht An die Nachgeborenen, dem die Phrase „Gespräch über Bäume“ entnommen wurde, und präsentiert an ...
Robert Rduch
doaj +1 more source
Principal infinity-bundles - Presentations [PDF]
, 2012 We discuss two aspects of the presentation of the theory of principal infinity-bundles in an infinity-topos, introduced in [NSSa], in terms of categories of simplicial (pre)sheaves.
Nikolaus, Thomas +2 more
core +3 more sources