We consider categorical logic on the category of Hilbert spaces. More generally, in fact, any pre-Hilbert category suffices. We characterise closed subobjects, and prove that they form orthomodular lattices. This shows that quantum logic is just an incarnation of categorical logic, enabling us to establish an existential quantifier for quantum logic, and conclude that there cannot be a universa...

“Biology, like any other science, does not deal with facts, but with evidence,” states Scott Gilbert in the 7th incarnation of his textbook Developmental Biology. And the evidence is in that he consistently achieves outstanding results. As with previous editions, Gilbert proves that Developmental Biology is up-todate, informative, highly readable, and comprehensive in its scope, yet remains use...

We show that the numerical local Langlands duality for GLn and the T-duality of twodimensional quantum gravity arise from one and the same symmetry principle. The unifying theme is that the local Fourier transform in both its `-adic and complex incarnation gives rise to symmetries of arithmetic and geometric local Langlands parameters.

The characters in Lord of the Flies possess recognizable symbolic significance, which make them as the sort of people around us. Ralph stands for civilization and democracy; Piggy represents intellect and rationalism; Jack signifies savagery and dictatorship; Simon is the incarnation of goodness and saintliness. All of these efficiently portray the microcosm of that society.

Abstract machines have been used as an implementationmachines have been used as an implementation mechanism for programming languages for more than thirty years. In their latest incarnation execution engines based on virtual machines offer “Managed Execution”. The implications of this change go far beyond the superficial advantages of platform portability and go to the heart of software

The paper presents the latest achievements of analytic philosophers religion in Christology. My goal is to defend literal/metaphysical reading Chalcedonian dogma hypostatic union. Some contemporary Christian thinkers claim that doctrine Jesus Christ as both perfectly divine and human self-contradictory (I present this point view on example John Hick) and, therefore, it should be understood meta...