nLab funcoid

Funcoids were first named and studied by Victor Porton, an independent researcher, as an approach to general topology, in particular as a massive generalisation of proximity spaces, pretopological spaces, etc. – somewhat along the same lines described at syntopogenous space where nearness notions are taken to be primitive.

Let 𝔉(A)\mathfrak{F}(A) and 𝔉(B)\mathfrak{F}(B) be the reverse lattices of filters for the sets AA and BB.

Then a funcoid from AA to BB consists of functions α:𝔉(A)𝔉(B)\alpha\colon \mathfrak{F}(A) \to \mathfrak{F}(B) and β:𝔉(B)𝔉(A)\beta\colon \mathfrak{F}(B) \to \mathfrak{F}(A) such that

𝒳𝔉(A),𝒴𝔉(B):(𝒴α𝒳0 𝔉(A)𝒳β𝒴0 𝔉(B)).\forall\mathcal{X}\in\mathfrak{F}(A),\mathcal{Y}\in\mathfrak{F}(B): (\mathcal{Y}\sqcap\alpha \mathcal{X} \ne 0^{\mathfrak{F}(A)} \Leftrightarrow \mathcal{X}\sqcap\beta \mathcal{Y} \ne 0^{\mathfrak{F}(B)}).

That is, for every filter 𝒳\mathcal{X} on AA and every filter 𝒴\mathcal{Y} on BB, the filter (on BB) generated by the union of 𝒴\mathcal{Y} and α(𝒳)\alpha(\mathcal{X}) is not the entire power set 𝒫(B)\mathcal{P}(B) iff the filter (on AA) generated by the union of 𝒳\mathcal{X} and β(𝒴)\beta(\mathcal{Y}) is not the entire power set 𝒫(A)\mathcal{P}(A).

The above formulation is due to Victor Porton. A slight reformulation is that funcoids can be seen as morphisms between certain types of Chu spaces. Todd Trimble has written some notes on funcoids from this point of view here, where they are also shown to be equivalent to topogenous relations provided that the reflexivity condition of the latter is dropped (which is reasonable from an abstract perspective). The category of endofuncoids and continuous functions, and the full subcategory of reflexive endofuncoids, are each topological over SetSet.

Last revised on October 12, 2014 at 22:33:54. See the history of this page for a list of all contributions to it.