Data types with Negation by Bob Atkey

This notes Chu spaces which is new to me and so might be of interest to others here.

## Personal notes (Click triangle to expand)

Guide to Papers on Chu Spaces

Introduction to Channel Theory

Data types with Negation by Bob Atkey

This notes Chu spaces which is new to me and so might be of interest to others here.

Guide to Papers on Chu Spaces

Introduction to Channel Theory

Thanks for information. It is known that Chu space and Barwise and Seligimanâ€™s Channel theory are close, and once I worked for the latter, though I donâ€™t remember details for now. I think a couple of weeks is enough for me to recover the technical details of both theories. After successful recovery, I would like to post something which I am currently interested and relevant hopefully to this forum.

**EDIT 2023/01/25**

I posted around July 2022 something like this.

Around 2015 I wrote a piece of codes for cgi on â€śInformation Flowâ€ť inspired by the book:

Information Flow - The Logic of Distributed Systems

Jon Barwise, Jerry Seligman

Cambridge University Press

1997.

It was a private prototyping project with unclear plan and goal. Leaving codes untouched for a long time, I found the codes did not work. I reviewed and revised at minimum. Now the cgi works as at 2015. Converts a theory to a classification. The output classification is the most general classification satisfying the theory.

Now (23 Jan. 2023 ) am reading Guptaâ€™s thesis on Chu Spaces: A Model Of Concurrency. As the chu space and the classification is close at least in formal definition, there should be some interesting bridge between the two theories. So far I got only a vague figure of the bridge.

**END EDIT**

1 Like

Interesting post, though I understand only partially your idea.

Being inspired, here is a belief-revision sample .

```
?- assert((fly(tweety) :- !, fail).
?- snapshot((asserta(fly(tweety)), prolog)).
?- fly(tweety).
true
[1] ?- ^D
% Exit break level 1
true.
?- fly(tweety).
false.
```

I think it coud, and I have reasons to think so. As I posted recently, the codes ifmap.pl in my package `pac/prolog/util/ifmap.pl`

was started for that direction. (B&S Channel theory and Chu space theory are indeed intimiate friends each other). I regret to say it was stopped to develop the codes since long time ago, but now I am going to resume with newly possible help from ZDD technology at some tecnical point.

This is a tiny note for those who might be getting interested into B&S Channel theory. A classification C is a triple C =(X, A, R) such that R is a subset of the cartesian product X and A. Let Ci = (Xi, Ai, Ri) be classifications for i=1, 2. A pair (f, g) of functions f: A1->A2 and g: X2->X1 is an informorphism from C1 to C2 if for all a in A1 and y in X2

R1(z, a) iff R2(y, b)

for all z in X1 and b in A2.

Example1. (X, pow(X), in), where in(x, a) iff x in X is an element a in pow(X). Let C=(X, pow(X), in) and D=(Y, pow(Y), in) be such classifications, and f: Y â†’ X. then f^{-1}: pow(X) â†’ pow(Y).

It is easy to check the the pair I = (f^{-1}, f) is an informorphism from

C to D. Furthermore, I is a continuous function from dense topological space (Y, pow(Y) to (X, pow(X)).

Example2

Let T=(X, O, in) and Tâ€™ =(Xâ€™, Oâ€™, in) be toplogical spaces, with

O the set of open sets in X, and Oâ€™ for Xâ€™. Note that T and Tâ€™ are classifications. A topological space is a classification. Let f : Xâ€™ â†’ X be a continuous function. Clearly (f^{-}, f) is an informorphism from T to Tâ€™.

Classification and informorphim are generalization of toplogical space

and continous functions. As one might notice, the notion informorphim is very close to Golois connection and also adjoint. IMHO, this explains the naming â€śinformorhismâ€ť as basis of â€śinformation flowâ€ť.