Preservation Theorems Through the Lens of Topology

07/15/2020
by   Aliaume Lopez, et al.
0

In this paper, we introduce a family of topological spaces that captures the existence of preservation theorems. The structure of those spaces allows us to study the relativisation of preservation theorems under suitable definitions of surjective morphisms, subclasses, sums, products, topological closures, and projective limits. Throughout the paper, we also integrate already known results into this new framework and show how it captures th essence of their proofs.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/26/2020

Topological Drawings meet Classical Theorems from Convex Geometry

In this article we discuss classical theorems from Convex Geometry in th...
research
05/08/2014

Proofs of two Theorems concerning Sparse Spacetime Constraints

In the SIGGRAPH 2014 paper [SvTSH14] an approach for animating deformabl...
research
04/01/2019

Categories with Families: Unityped, Simply Typed, and Dependently Typed

We show how the categorical logic of untyped, simply typed and dependent...
research
07/02/2020

Analysing Spatial Properties on Neighbourhood Spaces

We present a bisimulation relation for neighbourhood spaces, a generalis...
research
08/21/2019

Free Theorems Simply, via Dinaturality

Free theorems are a popular tool in reasoning about parametrically polym...
research
09/07/2021

Regularized Learning in Banach Spaces

This article presents a different way to study the theory of regularized...
research
06/18/2023

Isabelle Formalisation of Original Representation Theorems

In a recent paper, new theorems linking apparently unrelated mathematica...

Please sign up or login with your details

Forgot password? Click here to reset