Results 61 to 70 of about 700 (252)
Formal theory of internal categories
Le Matematiche, 1996 Categories internal to an elementary topos are regarded as monads in the bicategory of spans of the topos and the main features of the theory are developed: functors, adjointness, module calculus, internal presheaves, internal completeness and ...
Renato Betti
doaj
Journal of Architecture and Urbanism, 2022 In Thinking Design: Blueprint for an Architecture of Typology Andreas Lechner reassesses the question of architectural typology in relation to design research, practice, and theory. The book is organised into three extended chapters, entitled: Tectonics,
Cameron McEwan
doaj +1 more source
A Grothendieck topos of generalized functions I: basic theory [PDF]
, 2021 Paolo Robuffo Giordano +2 more
openalex +1 more source
PEK14: A Kinesin‐4 Necessary for Male‐Derived Fertility in Arabidopsis thaliana
Cytoskeleton, EarlyView.ABSTRACT Of the 61 kinesins annotated in Arabidopsis thaliana, many are still without assigned function. Here, we have screened an insertional mutant library of Arabidopsis pollen‐expressed kinesins for fertility defects. Insertional mutants for three kinesins showed a significant reduction in seed set.
Isabella N. Mendes +6 more
wiley +1 more source
Ecography, EarlyView.Conservation has shifted towards a climate change adaptation approach in which expected species range shifts are increasingly considered to mitigate effects of climate change and habitat fragmentation on biodiversity. As part of this, ecological connectivity needs to be ensured to support gene flow and viable populations in the face of changing ...
Aino‐Maija Määttänen +2 more
wiley +1 more source
Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Categorical Universal Logic is a theory of monad-relativised hyperdoctrines (or fibred universal algebras), which in particular encompasses categorical forms of both first-order and higher-order quantum logics as well as classical, intuitionistic, and ...
Yoshihiro Maruyama
doaj +1 more source
The EU's Strategy for Sustainability: A Landmark Turn With the European Green Deal?
European Policy Analysis, EarlyView.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
Zeszyty Prasoznawcze, 2022 Celem artykułu jest analiza toposu wampira w serialu „Nocna msza” (2021). Ze względu na wyjątkowe, w aspekcie religijnym, ujęcie figury nieumarłego koniecznym wydaje się odpowiedź na następujące ...
Jakub Rawski
doaj +1 more source
On Branched Covers in Topos Theory
Theory and Applications of Categories, 2000 This paper deals with an investigation of a notion of branched covers in the context of topos theory -- more precisely, in the context of the topos-theoretic version of the R. H. Fox-complete spreads given by the author and the reviewer [\textit{M. Bunge} and \textit{J. Funk}, ``Spreads and the symmetric topos'', J. Pure Appl. Algebra 113, No. 1, 1-38 (
openaire +2 more sources
TATuP – Zeitschrift für Technikfolgenabschätzung in Theorie und PraxisBased on a case study in Franconia, Germany, where beetle infestation of spruce trees is high, we present an interdisciplinary approach from materials science, cultural theory, and computational design to develop architectures for syntopic living.
Pelin Asa +3 more
doaj +1 more source