Related papers: Categories of orthosets and adjointable maps

We consider the baker's map $B$ on the unit square $X$ and an open convex set $H\subset X$ which we regard as a hole. The survivor set $\mathcal J(H)$ is defined as the set of all points in $X$ whose $B$-trajectories are disjoint from $H$.…

Let $X$ be a topological space and $f:X\to X$ a bijection. Let ${\mathcal C}(X,f)$ be a set of integers such that an integer $n$ is an element of ${\mathcal C}(X,f)$ if and only if the bijection $f^n:X\to X$ is continuous. A subset $S$ of…

Twisted diagrams are "diagrams" with components in different categories. Structure maps are defined using auxiliary data which consists of functors relating the various categories to each other. Prime examples of the construction are…

We consider frames in a finite-dimensional Hilbert space where frames are exactly the spanning sets of the vector space. A factor poset of a frame is defined to be a collection of subsets of $I$, the index set of our vectors, ordered by…

Using the Rost invariant for non split simply connected groups, we define a relative degree $3$ cohomological invariant for pairs of orthogonal or unitary involutions having isomorphic Clifford or discriminant algebras. The main purpose of…

We define a family of structures called "opetopic algebras", which are algebraic structures with an underlying opetopic set. Examples of such are categories, planar operads, and Loday's combinads over planar trees. Opetopic algebras can be…

In the field of dynamical systems, it is not rare to meet irregular functions, which are typically H{\"o}lder but not Lipschitz (e.g. the Weierstrass functions). Our goal is to scratch the surface of the following question: what happens if…

Diophantine subsets of $\mathbb{Z}$ play a key role in the negative answer to Hilbert's tenth problem. The definition of diophantine set generalizes in several ways to other commutative rings. We compare these definitions. Along the way, we…

Let $A$ be a, not necessarily closed, linear relation in a Hilbert space $\sH$ with a multivalued part $\mul A$. An operator $B$ in $\sH$ with $\ran B\perp\mul A^{**}$ is said to be an operator part of $A$ when $A=B \hplus (\{0\}\times \mul…

The notion of an orthogonality space was recently rediscovered as an effective means to characterise the essential properties of quantum logic. The approach can be considered as minimalistic; solely the aspect of mutual exclusiveness is…

We develop a notion of rank one properly convex domains (or Hilbert geometries) in the real projective space. This is in the spirit of rank one non-positively curved Riemannian manifolds and CAT(0) spaces. We define rank one isometries for…

Given a finite set $E$, a subset $D\sub E$ (viewed as a function $E\to \F_2$) is orthogonal to a given subspace $\FF$ of the $\F_2$-vector space of functions $E\to \F_2$ as soon as $D$ is orthogonal to every $\sub$-minimal element of $\FF$.…

Let $\pi$ be a discrete group, and let $G$ be a compact connected Lie group. $\mathrm{Hom}(\pi,G)_0$ denotes the null-component of the space of homomorphisms from $\pi$ to $G$, and $\mathrm{map}_*(B\pi,BG)_0$ denotes the null-component of…

It is a well-known fact that although the poset of open sets of a topological space is a Heyting algebra, its Heyting implication is not necessarily stable under the inverse image of continuous functions and hence is not a geometric…

Orbits of automorphism groups of partially ordered sets are not necessarily congruence classes, i.e. images of an order homomorphism. Based on so-called orbit categories a framework of factorisations and unfoldings is developed that…

Let $\F$ be an algebraically closed field. Let $\V$ be a vector space equipped with a non-degenerate symmetric or symplectic bilinear form $B$ over $\F$. Suppose the characteristic of $\F$ is \emph{large}, i.e. either zero or greater than…

We introduce the notion of an orthocomplemented subspace of a Hilbert space H, that is, a pair of orthogonal closed subspaces of H, as a two-dimensional counterpart to the one-dimensional notion of a closed subspace of H. Orthocomplemented…

Let H be a complex Hilbert space and denote by Bs(H) the set of all self-adjoint bounded linear operators on H. In this paper we describe the form of all bijective maps (no linearity or continuity is assumed) on Bs(H) which preserve the…

The orthogonality dimension of a graph $G$ over $\mathbb{R}$ is the smallest integer $k$ for which one can assign a nonzero $k$-dimensional real vector to each vertex of $G$, such that every two adjacent vertices receive orthogonal vectors.…

Let ${\cal S}(\mathcal{H})$ denote the set of all self-adjoint operators (not necessarily bounded) on a Hilbert space $\mathcal{H}$, which is the set of all physical quantities on a quantum system $\mathcal{H}$. We introduce a binary…