Related papers: More on Geometric Morphisms between Realizability …
We systematically investigate morphisms and equivalences of toposes from multiple points of view. We establish a dual adjunction between morphisms and comorphisms of sites, introduce the notion of weak morphism of toposes and characterize…
Localic and realizability toposes are two central classes of toposes in categorical logic, both arising through the Hyland-Johnstone-Pitts tripos-to-topos construction. We investigate their shared geometric features by providing an…
The interaction between combinatorics and algebraic and differential geometry is very strong. While researching a problem of Hessian topology, we came across a series of identities of binomial coefficients, which are useful for proving a…
Since the time when the first optical instruments have been invented, an idea that the visible image of an object under observation depends on tools of observation became commonly assumed in physics. A way to formalize it in mathematics is…
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…
In previous works by the authors, a bifunctor was associated to any operadic twisting morphism, taking a coalgebra over a cooperad and an algebra over an operad, and giving back the space of (graded) linear maps between them endowed with a…
We define and study complex structures and generalizations on spaces consisting of geodesics or harmonic maps that are compatible with the symmetries of these spaces. The main results are about existence and uniqueness of such structures.
We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…
We introduce the complete lifts of maps between (real and complex) Euclidean spaces and study their properties concerning holomorphicity, harmonicity and horizontal weakly conformality. As applications, we are able to use this concept to…
We construct geometric realizations -- projective algebraic versions of cobordisms -- for birational maps between Mori Dream Spaces. We show that these geometric realizations are Mori Dream Spaces, as well, and that they can be constructed…
Morphisms, structure preserving maps, are everywhere in Mathematics as useful tools for thinking and problem solving, or as objects to study. Here, we argue that the idea of operations being compatible across two domains goes beyond its…
Geometric relational embeddings map relational data as geometric objects that combine vector information suitable for machine learning and structured/relational information for structured/relational reasoning, typically in low dimensions.…
Axiomatic Cohesion proposes that the contrast between cohesion and non-cohesion may be expressed by means of a geometric morphism $p :\mathcal{E} \to \mathcal {S}$ (between toposes) with certain special properties that allow to effectively…
Non-rigid 3D mesh matching is a critical step in computer vision and computer graphics pipelines. We tackle matching meshes that contain topological artefacts which can break the assumption made by current approaches. While Functional Maps…
A geometric realization of a birational map $\psi$ among two complex projective varieties is a variety $X$ endowed with a $\mathbb{C}^*$-action inducing $\psi$ as the natural birational map among two extremal geometric quotients. In this…
The classifying topos of a geometric theory is a topos such that geometric morphisms into it correspond to models of that theory. We study classifying toposes for different infinitary logics: first-order, sub-first-order (i.e. geometric…
We explore inflectional morphology as an example of the relationship of the discrete and the continuous in linguistics. The grammar requests a form of a lexeme by specifying a set of feature values, which corresponds to a corner M of a…
Homotopy is an important feature of associative and Jordan algebraic structures: such structures always come in families whose members need not be isomorphic among other, but still share many important properties. One may regard homotopy as…
We exhibit a way of "forcing a functional to be an effective operation" for arbitrary partial combinatory algebras (pcas). This gives a method of defining new pcas from old ones for some fixed functional, where the new partial functions can…
We introduce the notion of implicative algebra, a simple algebraic structure intended to factorize the model constructions underlying forcing and realizability (both in intuitionistic and classical logic). The salient feature of this…