Results 21 to 30 of about 932,936 (91)
, 2019 A primeira noção de topos, a de topos de Grothendieck, surgiu há cerca de 50 anos a partir de uma generalização do conceito de feixe na geometria algébrica.
Cahali, Arthur Francisco Schwerz
core +1 more source
The categorical multi-combinator machine - cmcm [PDF]
, 1992 Implementations of functional programming languages can take a number of different forms, and many different machines have been developed for this purpose. This paper introduces another abstract machine, the Categorical Multi-Combinator Machine (CMCM). A
Lins, Rafael D. +3 more
core +1 more source
Reclaiming a Basque youth voice in Navarre: The Iruinkokoa carnival as an agentive chronotope
Journal of Linguistic Anthropology, Volume 36, Issue 3, December 2026.Abstract This article analyzes Iruinkokoa, a contemporary Basque carnival in Pamplona‐Iruñea, as an example of emerging forms of minority‐language activism grounded in carnivalesque critique and performative intervention. Based on ethnographic fieldwork conducted between 2023 and 2025, the study examines how parody, satire, and collective performance ...
Agurtzane Elordui +2 more
wiley +1 more source
Sheaf representation for topoi
, 2018 : "It is shown that every (small) topos is equivalent to the category of global sections of a sheaf of so-called hyperlocal topoi, improving on a result of Lambek & Moerdijk.
Steve Awodey (5372573)
core +1 more source
Widespread On‐Fault Geologic Evidence for Variable Mode Coseismic Slip to the Trench in Cascadia
AGU Advances, Volume 7, Issue 8, November 2026.Abstract Investigating the geologic record of near‐trench coseismic strain release is critical for estimating the slip distribution and tsunamigenic potential of future large subduction zone earthquakes. However, the style and extent of upper plate coseismic deformation offshore in subduction zones is poorly constrained.
J. T. Watt +11 more
wiley +1 more source
Episodic Change, Quiescence, and Recovery of Earth's Inner Core Surface
Journal of Geophysical Research: Solid Earth, Volume 131, Issue 10, October 2026.Abstract While a consensus has emerged that the hypothesis of inner core differential rotation cannot provide a consistent explanation for the seismic data, it remains debated whether the seismic data indicate a concurrence of a temporal change of inner core surface with an inner core differential rotation or the temporal change of inner core surface ...
Xin Zhang, Lianxing Wen
wiley +1 more source
, 2005 We present a modular correspondence between various categorical structures and their internal languages in terms of extensional dependent type theories a la Martin-Loef. Starting from lex categories, through regular ones, we provide internal languages of
MAIETTI, MARIA EMILIA
core +1 more source
Tropicalization through the lens of Łukasiewicz logic, with a topos theoretic perspective
The main aim of this paper is to show the interconnections between Łukasiewicz logic and algebraic geometry using algebraic, geometric and logical instruments. We continue our investigation into a new algebraic geometry based on idempotent semifields, in
Gerla, Brunella +2 more
core +4 more sources
The EU's Strategy for Sustainability: A Landmark Turn With the European Green Deal?
European Policy Analysis, Volume 12, Issue 4, Fall 2026.ABSTRACT While the European Green Deal (EGD) has been widely recognized as a milestone in the EU's sustainability strategy, scholars disagree on the nature of the policy change it represents. Critics highlight its limited social and environmental ambitions, despite its portrayal as a “man on the moon” moment.
Ekaterina Domorenok, Franco Gatti
wiley +1 more source
Conceptualism, Ramified Logic, and Nominalized Predicates [PDF]
, 1986 This is a post-peer-review, pre-copyedit version of an article published in Topoi. The final authenticated version is available online at: https://doi.org/10.1007/BF00137832.Conceptualism differs from intuitionism in being a theory about the construction
Cocchiarella, Nino
core +1 more source