相关论文: Geometric realisation as the Skorokhod semi-contin…
Geometric semigroup theory is the systematic investigation of finitely-generated semigroups using the topology and geometry of their associated automata. In this article we show how a number of easily-defined expansions on finite semigroups…
We give an introduction to the realisation theory for infinite-dimensional systems. That is, we show that for any function $G$, analytic and bounded in the right half of the complex plane, there exists operators $A,B,C$ such that…
Given a countable discrete amenable group, we study conditions under which a set map into a Banach space (or more generally, a complete semi-normed space) can be realized as the ergodic sum of a vector under a group representation, such…
For a global field, local field, or finite field $k$ with infinite Galois group, we show that there can not exist a functor from the Morel--Voevodsky $\mathbb{A}^1$-homotopy category of schemes over $k$ to a genuine Galois equivariant…
Real Betti realization is a symmetric monoidal functor from the category of motivic spectra to that of topological spectra, extending the functor that associates to a scheme over $\mathbb{R}$ the space of its real points. In this article,…
Symmetric transverse sets were introduced to make the construction of the parallel product with synchronization for process algebras functorial. It is proved that one can do directed homotopy on symmetric transverse sets in the following…
A simplicial complex is a set equipped with a down-closed family of distinguished finite subsets. This structure, usually viewed as codifying a triangulated space, is used here directly, to describe "spaces" whose geometric realisation can…
Possible geometric frameworks for a unified theory of gravity and electromagnetism are investigated: General relativity is enlarged by allowing for an arbitrary complex linear connection and by constructing an extended spinor derivative…
Within a framework of noncommutative geometry, we develop an analogue of (pseudo) Riemannian geometry on finite and discrete sets. On a finite set, there is a counterpart of the continuum metric tensor with a simple geometric…
In this paper we show how a gravitational field generated by a given energy-momentum distribution (for all realistic cases) can be represented by distinct geometrical structures (Lorentzian, teleparallel and non null nonmetricity…
The de Rham stack construction of Simpson shows that D-modules are quasicoherent sheaves on a modified geometry. Drinfeld furthermore introduced the ring stack perspective (aka transmutation), which asserts that a coefficient theory is…
Dynamics is considered as a corollary of the space-time geometry. Evolution of a particle in the space-time is described as a chain of connected equivalent geometrical objects. Space-time geometry is determined uniquely by the world…
A \textit{geometric realization} of an abstract polyhedron $\mathcal{P}$ is a mapping $\rho : \mathcal{P} \to \mathbb{E}^3$ that sends an $i$-face to an open set of dimension $i$. This work adapts a method based on Wythoff construction to…
In a previous work, by extending the classical Quillen construction to the non-simply connected case, we have built a pair of adjoint functors, 'model' and 'realization', between the categories of simplicial sets and complete differential…
The canonical projections of the unit spheres are generalized to special generic maps and round fold maps, for example. They are generalizations from the viewpoint of singularity theory of differentiable maps and these maps restrict the…
We prove a version of Quillen's theorems for a map of semi-Segal spaces. We construct a bi-semi-simplicial resolution similar to the one associated to a functor of non-unital topological categories. As a consequence we can represent the…
The aim of this article is to describe a new perspective on functoriality of persistent homology and explain its intrinsic symmetry that is often overlooked. A data set for us is a finite collection of functions, called measurements, with a…
This paper develops a unified framework for observables in n-plectic geometry, extending the L_infty-algebra of Hamiltonian (n-1)-forms to Hamiltonian forms of all degrees via a degree-shifting Grassmann variable u that encodes submanifold…
This is the author's PhD thesis. It is a contribution to categorical logic, in particular to the theory of realizability toposes. While the tools of categorical logic have proven very successful in analyzing and organizing proof theoretic…
We construct new geometric realizations of simplicial and pre-simplicial sets where the standard $n$-simplex, viewed as the space of probability measures on $n+1$ elements, is replaced by the space of $(n+1)$-valued random variables, with…