Results 31 to 40 of about 152,913 (283)
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
The weak choice principle WISC may fail in the category of sets [PDF]
, 2015 The set-theoretic axiom WISC states that for every set there is a set of surjections to it cofinal in all such surjections. By constructing an unbounded topos over the category of sets and using an extension of the internal logic of a topos due to ...
Roberts, David Michael
core +2 more sources
Corpus Mundi, 2023 This is a review of Franziska Bork-Petersen's book “Body Utopianism. Prosthetic Being Between Enhancement and Estrangement”, which discusses the changes in corporeality and the use of various tools that have become an important part of contemporary ...
Olesya S Yakushenkova
doaj +1 more source
Topos “Karjala” in Bilingual Poetry by A. Volkov
Научный диалог, 2020 The observations on the specifics of the Karjala topos in the works of the bilingual poet A. Volkov is for the first time presented in the article. It has been proved that in his mind “Karjala” is associated with “native land”, the memory of ancestors ...
I. N. Mineeva, T. V. Pashkova
doaj +1 more source
Demonstrating topoS: Theorem-prover-based synthesis of secure network configurations [PDF]
Conference on Network and Service Management, 2015 In network management, when it comes to security breaches, human error constitutes a dominant factor. We present our tool topoS which automatically synthesizes low-level network configurations from high-level security goals. The automation and a feedback
C. Diekmann, Andreas Korsten, G. Carle
semanticscholar +1 more source
Moscow text in the novel by D. A. Glukhovsky "Text"
Opera slavica, 2023 The purpose of this article is to analyze the image of Moscow in the novel by Dmitry Glukhovsky "Text". Even though the founder of the concept of the Petersburg text V.
Jevgenija Andrejevna Košel'kova
doaj +1 more source
A Topos Foundation for Theories of Physics: II. Daseinisation and the Liberation of Quantum Theory [PDF]
, 2007 This paper is the second in a series whose goal is to develop a fundamentally new way of constructing theories of physics. The motivation comes from a desire to address certain deep issues that arise when contemplating quantum theories of space and time.
A. Döring +5 more
core +2 more sources
Acta Universitatis Lodziensis. Folia Litteraria Polonica, 2019 „The gardener’s topos based on the example of the poem Ogrodnik by Czesław Miłosz (text analysis)”. The article is a detailed consideration of a poem by Czesław Miłosz entitled Ogrodnik [Gardener].
Monika Anna Noga
doaj +1 more source
ELEKTRONINIS POSŪKIS: NUO FIZINIO MIESTO LINK E-TOPOS MIESTO
Problemos, 2007 Straipsnyje nagrinėjamas „elektroninis posūkis“, kuris akivaizdžiai pastebimas filosofinėje urbanistinių temų analizėje. Greta neutralaus miesto topos aprašymo, utopinių ir distopinių miesto vizijų susiformuoja teorinis diskursas, aprašantis miestą per e-
Nerijus Milerius
doaj +1 more source
Mapeamento geomorfológico da Bacia Hidrográfica do Arroio Pelotas, RS
Geografia (Londrina), 2019 O objetivo deste trabalho foi mapear a geomorfologia da Bacia Hidrográfica do Arroio Pelotas (BHAP) a partir da metodologia da compartimentação do relevo até o 3° táxon, onde foram mapeadas as Unidades dos Padrões de Formas Semelhantes do Relevo.
Érica Insaurriaga Megiato +1 more
doaj +1 more source