The electron double-slit interference is re-examined from the point of view of temporal topos. Temporal topos (or t-topos) is an abstract algebraic (cate­ gorical) method using the theory of sheaves. A brief introduction to t-topos is given. When the structural foundation for describing particles is based on t-topos, the particle-wave duality of electron is a natural consequence. A pres­ heaf a...

BACKGROUND The topos of the Compassionate God is a dominant motive of the Jewish and Christian traditions. It is relevant for nursing because it asks the nurse to imitate God so as to become God-like. Also, to think that God suffers with the suffering believers is thought to give comfort to them. Because in the western world the topos of the Compassionate God represents the basis of the ethics ...

We study the homotopy theory of locally ordered spaces, that is manifolds with boundary whose charts are partially ordered in a compatible way. Their category is not particularly well-behaved with respect to colimits. However, this category turns out to be a certain full subcategory of a topos of sheaves over a simpler site. The ambient topos makes available some general homotopical machinery.

In this paper we survey the fundamental constructions of a presheaf topos in the case of the elementary topos of graphs. We prove that the transition graphs of nondeterministic automata (a.k.a. labelled transition systems) are the separated presheaves for the double negation topology, and obtain as an application that their category is a quasitopos.

We give characterizations, for various fragments of geometric logic, of the class of theories classified by a locally connected (respectively connected and locally connected, atomic, compact, presheaf) topos, and exploit the existence of multiple sites of definition for a given topos to establish various results on quotients of theories of presheaf type.

This paper is motivated by the discovery that an appropriate quotient SN 3 of the strongly normalising untyped 3-terms (where 3 is just a formal constant) forms a partial applicative structure with the inherent application operation. The quotient structure satises all but one of the axioms of a partial combinatory algebra (pca). We call such partial applicative structures conditionally partial ...

We will give descriptions of u-singularities as we introduce the notion of t-topos theoretic entropies. The unifying methodology for a u-singularity is the universal mapping property of an inverse or direct limit. The qualitative, conceptual, and structural analyses of u-singularities are given in terms of inverse and direct limits of micro decompositions of a presheaf and coverings of an objec...

The homotopical approach to intensional type theory views proofs of equality as paths. We explore what is required of an interval-like object I in a topos to give a model of type theory in which elements of identity types are functions with domain I. Cohen, Coquand, Huber and Mörtberg give such a model using a particular category of presheaves. We investigate the extent to which their model con...

We employ the notions of ‘sequential function’ and ‘interrogation’ (dialogue) in order to define new partial combinatory algebra structures on sets of functions. These structures are analyzed using J. Longley’s preorder-enriched category of partial combinatory algebras and decidable applicative structures. We also investigate total combinatory algebras of partial functions. One of the results i...