Related papers: A New Approach to Quantising Space-Time: I. Quanti…
A generalized framework is developed which uses a set description instead of wavefunction to emphasize the role of the observer. Such a framework is found to be very effective in the study of the measurement problem and time's arrow.…
We develop a localisation theory for certain categories, yielding a 3-arrow calculus: Every morphism in the localisation is represented by a diagram of length 3, and two such diagrams represent the same morphism if and only if they can be…
We define generalized bialgebras and Hopf algebras and on this basis we introduce quantum categories and quantum groupoids. The quantization of the category of linear (super)spaces is constructed. We establish a criterion for the classical…
Recent work in set theory indicates that there are many different notions of 'set', each captured by a different collection of axioms, as proposed by J. Hamkins in [Ham11]. In this paper we strive to give one class theory that allows for a…
Categorification is the process of finding category-theoretic analogs of set-theoretic concepts by replacing sets with categories, functions with functors, and equations between functions by natural isomorphisms between functors, which in…
Interest in combinatorial interpretations of mathematical entities stems from the convenience of the concrete models they provide. Finding a bijective proof of a seemingly obscure identity can reveal unsuspected significance to it. Finding…
The purpose of this paper is to show that the dual notions of elements & distinctions are the basic analytical concepts needed to unpack and analyze morphisms, duality, and universal constructions in the Sets, the category of sets and…
Extending the methods from our previous work on quantum knots and quantum graphs, we describe a general procedure for quantizing a large class of mathematical structures which includes, for example, knots, graphs, groups, algebraic…
We show how quantum mechanics can be understood as a space-time theory provided that its spatial continuum is modelled by a variable real number (qrumber) continuum. Such a continuum can be constructed using only standard Hilbert space…
In this paper we develope a categorical theory of relations and use this formulation to define the notion of quantization for relations. Categories of relations are defined in the context of symmetric monoidal categories. They are shown to…
This paper is the third in a series whose goal is to develop a fundamentally new way of viewing theories of physics. Our basic contention is that constructing a theory of physics is equivalent to finding a representation in a topos of a…
Algebraic structures such as monoids, groups, and categories can be formulated within a category using commutative diagrams. In many common categories these reduce to familiar cases. In particular, group objects in Grp are abelian groups,…
In this chapter we survey some particular topics in category theory in a somewhat unconventional manner. Our main focus will be on monoidal categories, mostly symmetric ones, for which we propose a physical interpretation. These are…
When formalizing mathematics in (generalized predicative) constructive type theories, or more practically in proof assistants such as Coq or Agda, one is often using setoids (types with explicit equivalence relations). In this note we…
We develop the K-theory of sets with an action of a pointed monoid (or monoid scheme), analogous to the $K$-theory of modules over a ring (or scheme). In order to form localization sequences, we construct the quotient category of a nice…
An idealised experiment estimating the spacetime topology is considered in both classical and quantum frameworks. The latter is described in terms of histories approach to quantum theory. A procedure creating combinatorial models of…
We propose a mathematical structure, based on a noncommutative geometry, which combines essential aspects of general relativity and quantum mechanics, and leads to correct "limiting cases" of both these theories. We quantize a groupoid…
The review is devoted to topological global aspects of quantal description. The treatment concentrates on quantizations of kinematical observables --- generalized positions and momenta. A broad class of quantum kinematics is rigorously…
Within the causal set approach to quantum gravity, a discrete analog of a spacelike region is a set of unrelated elements, or an antichain. In the continuum approximation of the theory, a moment-of-time hypersurface is well represented by…
This paper proposes a formal cognitive framework for problem solving based on category theory. We introduce cognitive categories, which are categories with exactly one morphism between any two objects. Objects in these categories are…