Results 11 to 20 of about 397 (188)
Basic subtoposes of the effective topos
Annals of Pure and Applied Logic, 2013 We employ a new tool (sights) to investigate local operators in the Effective Topos. A number of new such local operators is analyzed using this machinery. Moreover, we investigate a local operator defined in the thesis of A. Pitts, and establish that its corresponding subtopos satisfies true arithmetic.
Sori Lee, Jaap van Oosten
openaire +5 more sources
A notion of homotopy for the effective topos [PDF]
Mathematical Structures in Computer Science, 2014 We define a notion of homotopy in the effective topos.
openaire +2 more sources
A homotopy-theoretic model of function extensionality in the effective topos [PDF]
Mathematical Structures in Computer Science, 2018 We present a way of constructing a Quillen model structure on a full subcategory of an elementary topos, starting with an interval object with connections and a certain dominance. The advantage of this method is that it does not require the underlying topos to be cocomplete.
Daniil Frumin, Benno van den Berg
openaire +6 more sources
Identification of novel neutralizing determinants for protection against HCV
Hepatology, EarlyView., 2022 Identification of novel neutralizing determinants for protection against hepatitis C virus. Abstract Background and Aims HCV evasion of neutralizing antibodies (nAb) results in viral persistence and poses challenges to the development of an urgently needed vaccine.
Garazi P. Alzua +12 more
wiley +1 more source
Représentations du régime de Vichy ou « se souvenir de ne pas oublier »
Temporalités, 2005 There are several ways to conceive collective memory. Among them, it can be seen as a re-presentation of the past or as a social representation of History (Viaud, 2003).
Jean Viaud
doaj +1 more source
TP53 R249S mutation in hepatic organoids captures the predisposing cancer risk
Hepatology, EarlyView., 2022 The systematic approach in elucidating the gain‐of‐function (GOF) roles of TP53 mutations in early liver carcinogenesis. Unique downstream targets of TP53 L3 mutations were identified from chormatin immunoprecipitation sequencing in HCC cell lines, followed by a series of validation assays to substantiate the exclusive transcriptional regulations ...
Yin Kau Lam +10 more
wiley +1 more source
Revista Brasileira de Ortopedia, 2011 Em doentes vítimas de trauma de grande energia uma lesão pélvica grave deve ser sempre suspeitada. Na sua maioria, as fraturas são estáveis, respondendo bem ao tratamento conservador. As fraturas da bacia constituem 3% do total das fraturas do esqueleto,
Cristina Maria Varino Sousa +9 more
doaj +1 more source
A simple presentation of the effective topos
CoRR, 2013 We propose for the Effective Topos an alternative construction: a realisability framework composed of two levels of abstraction. This construction simplifies the proof that the Effective Topos is a topos (equipped with natural numbers), which is the main issue that this paper addresses. In this our work can be compared to Frey's monadic tripos-to-topos
Alexis Bernadet +1 more
openaire +2 more sources
Antropologiczna orientacja słowa 'prawo' w twórczości Adama Mickiewicza
Acta Baltico-Slavica, 2015 The anthropological orientation of the word law in Adam Mickiewicz’s writings This article discusses the anthropological orientation of the word law in Adam Mickiewicz’s writings.
Maria Teresa Lizisowa
doaj +1 more source
Religion as Critique: Islamic Critical Thinking from Mecca to the Marketplace
American Journal of Islam and Society, 2018 Christianity was the religion of spirit (and freedom), and critiqued Islam as a religion of flesh (and slavery); later, Christianity was the religion of reason, and critiqued Islam as the religion of fideism; later still, Christianity was the religion of
Basit Kareem Iqbal
doaj +1 more source