Related papers: A Relational Category of Birkhoff Polarities
Orthogonality is a notion based on the duality between programs and their environments used to determine when they can be safely combined. For instance, it is a powerful tool to establish termination properties in classical formal systems.…
In this note we introduce higher order polar loci as natural generalizations of the classical polar loci, replacing the role of tangent spaces by that of higher order osculating spaces. The close connection between polar loci and dual…
Relational structures are emerging as ubiquitous mathematical machinery in the semantics of open systems of various kinds. Cartesian bicategories are a well-known categorical algebra of relations that has proved especially useful in recent…
A groupoid is a small category in which all morphisms are isomorphisms. An inductive groupoid is a specialised groupoid whose object set is a regular biordered set and the morphisms admit a partial order. A normal category is a specialised…
Generalizing Duality Theorem of H. de Vries, we define a category which is dually equivalent to the category of all locally compact Hausdorff spaces and all perfect maps between them.
The present work presents some results about the categorial relation between logics and its categories of structures. A (propositional, finitary) logic is a pair given by a signature and Tarskian consequence relation on its formula algebra.…
Inspired by the recent results toward Birkhoff conjecture (a rigidity property of billiards in ellipses), we discuss two rigidity properties of conics. The first one concerns symmetries of an analog of polar duality associated with an oval,…
If the Continuum Hypothesis is false, it implies the existence of cardinalities between the integers and the real numbers. In studying these "cardinal characteristics of the continuum", it was discovered that many of the associated…
J{\'o}nsson and Tarski's notion of the perfect extension of a Boolean algebra with operators has evolved into an extensive theory of canonical extensions of lattice-based algebras. After reviewing this evolution we make two contributions.…
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…
A polarity of a projective plane is a map, often assumed to be involutive, mapping a generic point to a generic line and reciprocally. The most classical polarity is the polarity with respect to a conic, but other exist: the harmonic…
We construct the full linearisation functor which takes a graded bundle of degree $k$ (a particular kind of graded manifold) and produces a $k$-fold vector bundle. We fully characterise the image of the full linearisation functor and show…
Finiteness spaces constitute a categorical model of Linear Logic (LL) whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefschetz in 1942) and morphisms as continuous linear maps.…
We define and study the notion of quantum polarity, which is a kind of geometric Fourier transform between sets of positions and sets of momenta. Extending previous work of ours, we show that the orthogonal projections of the covariance…
We analyse the properties of the second order correlation functions of the electromagnetic field in atom-cavity systems that approximate two-level systems. It is shown that a recently-developed polariton formalism can be used to account for…
We introduce a doubled formalism for the bosonic sector of the maximal supergravities, in which a Hodge dual potential is introduced for each bosonic field (except for the metric). The equations of motion can then be formulated as a twisted…
Quantum $L_\infty$ algebras are higher loop generalizations of cyclic $L_\infty$ algebras. Motivated by the problem of defining morphisms between such algebras, we construct a linear category of $(-1)$-shifted symplectic vector spaces and…
The purpose of this work is to study the notion of bivariant theory introduced by Fulton and MacPherson in the context of motivic stable homotopy theory, and more generally in the broader framework of Grothendieck six functors formalism. We…
Many important computational structures involve an intricate interplay between algebraic features (given by operations on the underlying set) and relational features (taking account of notions such as order or distance). This paper…
We relate two different proposals to extend the \'etale topology into homotopy theory, namely via the notion of finite cover introduced by Mathew and via the notion of separable commutative algebra introduced by Balmer. We show that finite…