Related papers: The universal tangle for spatial reasoning
4-dimensional optics is based on the use 4-dimensional movement space, resulting from the consideration of the usual 3-dimensional coordinates complemented by proper time. The paper uses the established K-calculus to make a parallel…
Let $K$ be a compact group, and let $\rho$ be a representation of $K$ on a Hilbert space $\mathcal{H}_\rho$. We classify invariant subspaces of $\mathcal{H}_\rho$ in terms of range functions, and investigate frames of the form $\{\rho(\xi)…
We classify parallelizable noncommutative manifold structures on finite sets of small size in the general formalism of framed quantum manifolds and vielbeins introduced previously. The full moduli space is found for $\le 3$ points, and a…
We introduce a new notion of structural refinement, a sound abstraction of logical implication, for the modal nu-calculus. Using new translations between the modal nu-calculus and disjunctive modal transition systems, we show that these two…
In this paper, we introduce a simplicial analog of classifying spaces for commutativity which classify principal bundles with commutativity structure on their transition functions. Our construction $\overline W(\tau,K)$, which takes as…
We consider the space of $n$-tuples of pairwise commuting elements in the Lie algebra of $U(m)$. We relate its one-point compactification to the subquotients of certain rank filtrations of connective complex $K$-theory. We also describe the…
A geometric framework for describing quantum particles on a possibly curved background is proposed. Natural constructions on certain distributional bundles (`quantum bundles') over the spacetime manifold yield a quantum ``formalism'' along…
In this paper, we define a realizability semantics for the simply typed $\lambda\mu$-calculus. We show that if a term is typable, then it inhabits the interpretation of its type. This result serves to give characterizations of the…
In this paper, we present an extension of $\lambda\mu$-calculus called $\lambda\mu^{++}$-calculus which has the following properties: subject reduction, strong normalization, unicity of the representation of data and thus confluence only on…
In this paper, we focus on qualitative temporal sequences of topological information. We firstly consider the context of topological temporal sequences of length greater than 3 describing the evolution of regions at consecutive time points.…
We rewrite classical topological definitions using the category-theoretic notation of arrows and are led to concise reformulations in terms of simplicial categories and orthogonality of morphisms, which we hope might be of use in the…
A noncommutative-geometric formalism of framed principal bundles is sketched, in a special case of quantum bundles (over quantum spaces) possessing classical structure groups. Quantum counterparts of torsion operators and Levi-Civita type…
We extend rotation theory of circle maps to tiling spaces. Specifically, we consider a 1-dimensional tiling space $\Omega$ with finite local complexity and study self-maps $F$ that are homotopic to the identity and whose displacements are…
The topological interpretation of modal logics provides descriptive languages and proof systems for reasoning about points of topological spaces. Recent work has been devoted to model checking of spatial logics on discrete spatial…
Most modern formalisms used in Databases and Artificial Intelligence for describing an application domain are based on the notions of class (or concept) and relationship among classes. One interesting feature of such formalisms is the…
Represented spaces form the general setting for the study of computability derived from Turing machines. As such, they are the basic entities for endeavors such as computable analysis or computable measure theory. The theory of represented…
Universal representation of geometric patterns of disordered matters is investigated with the aid of general topology. By utilizing the result obtained in the previous study (S. Ohmori, et.al., Phys. Scr. 94, 105213 (2019)) that any…
We give a semantics for the lambda-calculus based on a topological duality theorem in nominal sets. A novel interpretation of lambda is given in terms of adjoints, and lambda-terms are interpreted absolutely as sets (no valuation is…
Tight frames can be characterized as those frames which possess optimal numerical stability properties. In this paper, we consider the question of modifying a general frame to generate a tight frame by rescaling its frame vectors; a process…
We demonstrate that topological defects in a rational conformal field theory can be described by a classifying algebra for defects - a finite-dimensional semisimple unital commutative associative algebra whose irreducible representations…