Finitary Topos for Locally Finite, Causal and Quantal Vacuum Einstein Gravity

Previous work on applications of Abstract Differential Geometry (ADG) to discrete Lorentzian quantum gravity is brought to its categorical climax by organizing the curved finitary spacetime sheaves of quantum causal sets involved therein, on which a finitary (:locally finite), singularity-free, background manifold independent and geometrically prequantized version of the gravitational vacuum Einstein field equations were seen to hold, into a topos structure. This topos is seen to be a finitary instance of both an elementary and a Grothendieck topos, generalizing in a differential geometric setting, as befits ADG, Sorkin's finitary substitutes of continuous spacetime topologies. The paper closes with a thorough discussion of four future routes we could take in order to further develop our topos-theoretic perspective on ADG-gravity along certain categorical trends in current quantum gravity research.Comment: 49 pages, latest updated version (errata corrected, references polished) Submitted to the International Journal of Theoretical Physic

T-homotopy and refinement of observation (II) : Adding new T-homotopy equivalences

This paper is the second part of a series of papers about a new notion of T-homotopy of flows. It is proved that the old definition of T-homotopy equivalence does not allow the identification of the directed segment with the 3-dimensional cube. This contradicts a paradigm of dihomotopy theory. A new definition of T-homotopy equivalence is proposed, following the intuition of refinement of observation. And it is proved that up to weak S-homotopy, a old T-homotopy equivalence is a new T-homotopy equivalence. The left-properness of the weak S-homotopy model category of flows is also established in this second part. The latter fact is used several times in the next papers of this series.Comment: 20 pages, 3 figure

T-homotopy and refinement of observation (III) : Invariance of the branching and merging homologies

This series explores a new notion of T-homotopy equivalence of flows. The new definition involves embeddings of finite bounded posets preserving the bottom and the top elements and the associated cofibrations of flows. In this third part, it is proved that the generalized T-homotopy equivalences preserve the branching and merging homology theories of a flow. These homology theories are of interest in computer science since they detect the non-deterministic branching and merging areas of execution paths in the time flow of a higher dimensional automaton. The proof is based on Reedy model category techniques.Comment: 30 pages ; final preprint version before publication ; see http://nyjm.albany.edu:8000/j/2006/Vol12.ht

Total Representations

Almost all representations considered in computable analysis are partial. We provide arguments in favor of total representations (by elements of the Baire space). Total representations make the well known analogy between numberings and representations closer, unify some terminology, simplify some technical details, suggest interesting open questions and new invariants of topological spaces relevant to computable analysis.Comment: 30 page

04351 Abstracts Collection -- Spatial Representation: Discrete vs. Continuous Computational Models

From 22.08.04 to 27.08.04, the Dagstuhl Seminar 04351 ``Spatial Representation: Discrete vs. Continuous Computational Models\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

A Categorical View on Algebraic Lattices in Formal Concept Analysis

Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully benefit from this theory, we believe that it can be enriched with notions such as approximation by computation or representability. The latter are commonly studied in denotational semantics and domain theory and captured most prominently by the notion of algebraicity, e.g. of lattices. In this paper, we explore the notion of algebraicity in formal concept analysis from a category-theoretical perspective. To this end, we build on the the notion of approximable concept with a suitable category and show that the latter is equivalent to the category of algebraic lattices. At the same time, the paper provides a relatively comprehensive account of the representation theory of algebraic lattices in the framework of Stone duality, relating well-known structures such as Scott information systems with further formalisms from logic, topology, domains and lattice theory.Comment: 36 page

The Glueing Construction and Double Categories

We introduce Artin-Wraith glueing and locally closed inclusions in double categories. Examples include locales, toposes, topological spaces, categories, and posets. With appropriate assumptions, we show that locally closed inclusions are exponentiable, and the exponentials are constructed via Artin-Wraith glueing. Thus, we obtain a single theorem establishing the exponentiability of locally closed inclusions in these five cases.Comment: 19 pages, presented at CT201