The theory of elementary toposes plays the fundamental role in the categorial analysis of the intuitionistic logic. The main theorem of this theory uses the fact that sets E(A,Ω) (for any object A of a topos E) are Heyting algebras with operations defined in categorial terms. More exactly, subobject classifier true: 1 → Ω permits us define truth-morphism on Ω and operations in E(A,Ω) are define...

Conjugated eicosapentaenoic acid (cEPA) selectively inhibited the activities of mammalian DNA polymerases (pols) and human DNA topoisomerases (topos). cEPA inhibited the cell growth of two human leukemia cell lines, NALM-6, which is a p53-wild type, and HL-60, which is a p53-null mutant, with LD50 values of 37.5 and 12.5 microM, respectively. In both cell lines, cEPA arrested in the G1 phase, a...

Topos Quantum Theory (TQT) is standardly portrayed as a kind of ‘neo-realist’ reformulation of quantum mechanics. In this paper, we study the extent to which TQT can really be characterised as a realist formulation of the theory, and examine the question of whether the kind of realism that is provided by TQT satisfies the philosophical motivations that are usually associated with the search for...

Topoisomerases are enzymes that have evolved to solve the topological problems associated with DNA manipulation in the cell, such as in transcription, replication, packing and unpacking of DNA. Since these enzymes are essential for the correct functioning of the cell they are important drug targets. People study topoisomerases from many different perspectives: protein structure, detailed atomic...

The new Tune, Orbit and Position Measurement System for the SIS18, called TOPOS, is a replacement for the present POSI BPM System. Currently TOPOS is installed in parallel and uses the same analogue amplification chain as POSI. TOPOS consists of 12 Libera Hadron units [1] for front-end processing. The Libera stations sample the four analog plate signals of a BPM pick-up with four 14 Bit ADCs at...

The localic definitions of cosheaves, connectedness and local connectedness are transferred from impredicative topos theory to predicative formal topology. A formal topology is locally connected (has base of connected opens) iff it has a cosheaf π0 together with certain additional structure and properties that constrain π0 to be the connected components cosheaf. In the inductively generated cas...

Homotopy Type Theory may be seen as an internal language for the ∞category of weak ∞-groupoids which in particular models the univalence axiom. Voevodsky proposes this language for weak ∞-groupoids as a new foundation for mathematics called the Univalent Foundations of Mathematics. It includes the sets as weak ∞-groupoids with contractible connected components, and thereby it includes (much of)...

This report describes the inhibitory activities of the natural and non-natural acetogenins [mucocin (compound 1), jimenezin (compound 2), 19-epi jimenezin (compound 3), muconin (compound 4), pyranicin (compound 5), pyragonicin (compound 6), 10-epi pyragonicin (compound 7), and a gamma-lactone (compound 8)], which were synthesized by us, against DNA polymerase (pol), DNA topoisomerase (topo), an...