Cosheaves and connectedness in formal topology

Annals of Pure and Applied Logic 163 (2):157-174 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

DOI

10.1016/j.apal.2011.06.024

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 86,592

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Sublocales in Formal Topology.Steven Vickers - 2007 - Journal of Symbolic Logic 72 (2):463 - 482.
Every countably presented formal topology is spatial, classically.Silvio Valentini - 2006 - Journal of Symbolic Logic 71 (2):491-500.
Objects: A Study in Kantian Formal Epistemology.Giovanni Boniolo & Silvio Valentini - 2012 - Notre Dame Journal of Formal Logic 53 (4):457-478.
Does topological perception rest on a misconception about topology?Roberto Casati - 2009 - Philosophical Psychology 22 (1):77 – 81.
The Contact Algebra of the Euclidean Plane has Infinitely Many Elements.Thomas Mormann - manuscript
A structural investigation on formal topology: coreflection of formal covers and exponentiability.Maria Emilia Maietti & Silvio Valentini - 2004 - Journal of Symbolic Logic 69 (4):967-1005.
Mereotopology: A theory of parts and boundaries.Barry Smith - 1996 - Data and Knowledge Engineering 20 (3):287–303.
Philosophical Topology.Yi Jiang - 2008 - Proceedings of the Xxii World Congress of Philosophy 15:59-74.
Empathy, Connectedness and Organisation.Kathryn Pavlovich & Keiko Krahnke - 2012 - Journal of Business Ethics 105 (1):131-137.
Local connectedness and distance functions.Charles Morgan - unknown
Zeeman-göbel topologies.Adrian Heathcote - 1988 - British Journal for the Philosophy of Science 39 (2):247-261.
Why there still are no people.Jim Stone - 2005 - Philosophy and Phenomenological Research 70 (1):174-191.
Minimal invariant spaces in formal topology.Thierry Coquand - 1997 - Journal of Symbolic Logic 62 (3):689-698.
A note on the $Q$-topology.Robert Warren Button - 1978 - Notre Dame Journal of Formal Logic 19 (4):679-686.

Analytics

Added to PP
2013-10-27

Downloads
38 (#349,158)

6 months
1 (#873,176)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Continuity and geometric logic.Steven Vickers - 2014 - Journal of Applied Logic 12 (1):14-27.

Add more citations

References found in this work

Inductively generated formal topologies.Thierry Coquand, Giovanni Sambin, Jan Smith & Silvio Valentini - 2003 - Annals of Pure and Applied Logic 124 (1-3):71-106.
The problem of the formalization of constructive topology.Silvio Valentini - 2005 - Archive for Mathematical Logic 44 (1):115-129.
Compactness in locales and in formal topology.Steven Vickers - 2006 - Annals of Pure and Applied Logic 137 (1-3):413-438.
Sublocales in Formal Topology.Steven Vickers - 2007 - Journal of Symbolic Logic 72 (2):463 - 482.

View all 7 references / Add more references