Source author record

Giovanni Sambin

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.CT math.GN

Catalog footprint

Research overview

3works

3topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2016arXiv

Topology as faithful communication through relations

Basic pairs and their morphisms are the most elementary framework in which standard topological notions can be defined. We present here a new interpretation of topological concepts as those which can be communicated faithfully between the two sides of basic pairs. In particular, we prove that the subsets which can be communicated faithfully (in the suitable way) are exactly open subsets and closed subsets. We also prove that a relation (and in particular a function) between two sets of points can be communicated faithfully if and only if it is continuous.

preprint2012arXiv

A constructive Galois connection between closure and interior

We construct a Galois connection between closure and interior operators on a given set. All arguments are intuitionistically valid. Our construction is an intuitionistic version of the classical correspondence between closure and interior operators via complement.

preprint2012arXiv

Convergence in Formal Topology: a unifying notion

Several variations on the definition of a Formal Topology exist in the literature. They differ on how they express convergence, the formal property corresponding to the fact that open subsets are closed under finite intersections. We introduce a general notion of convergence of which any previous definition is a special case. This leads to a predicative presentation and inductive generation of locales (formal covers), commutative quantales (convergent covers) and suplattices (basic covers) in a uniform way. Thanks to our abstract treatment of convergence, we are able to specify categorically the precise sense according to which our inductively generated structures are free, thus refining Johnstone's coverage theorem. We also obtain a natural and predicative version of a fundamental result by Joyal and Tierney: convergent covers (commutative quantales) correspond to commutative co-semigroups over the category of basic covers (suplattices).

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.