Yoneda Structures
Going through my papers I found notes of a lecture I gave on Yoneda Structures in December 1971, at a meeting (13-17 December) at the University of New South Wales while Peter Freyd was visiting. A pdf...
View ArticleClik here to view.
Sydney Mathematics Department
Below is a list found amongst my papers of staff and students of the University of Sydney Mathematics Department from 1935 till 1968, the period in which T.G. Room was professor. You may notice that in...
View ArticleClik here to view.
Castiglione Olona
We go frequently to Varese but last Saturday I visited for the first time the beautiful mediaeval village of Castiglone Olona, a few kilometers from the centre of Varese. Here is a detail of frescoes...
View ArticleClik here to view.
A walk near Lecco
A few days ago I was going to write a post about how depressing I find November with its lack of light. Today however we went for a walk along the Adda in delightful weather. Here are some photographs...
View ArticleLast days II
As I mentioned in an earlier post, my last days as professor at the University of Insubria, Como, were complicated by a sudden change of office. I don't remember whether I mentioned that I also had to...
View ArticleTributes to Aurelio Carboni
I have placed in the Como Category Archive some articles about Aurelio Carboni, which are based on lectures given at the conference in memory of Aurelio, June 2013, in Milan. They will be appearing in...
View ArticleOld posts: Max Kelly 2007
With the closing of our offices in via Carloni the web server of the old department was offline for a time and I suspect will not be reliable in future. I have decided to transfer material from the...
View ArticleClik here to view.
How to coil a hose
I just bought a hose to water the newly planted roses at our mountain house. Here is one Nicoletta planted last year:The hose came rolled so:After unrolling it looked like this:and no water issued....
View ArticleClik here to view.
On the algebra of processes
The following is an abstract submitted to a conference (only half a page was permitted). I would like expand a little here on the matter in the next day or...
View ArticleClik here to view.
On the algebra of processes II
I have decided to write a sequence of short posts explaining the ideas behind the abstract I recently posted. I forgot to mention in the abstract that there is a 2009 paper on Arxiv by Luisa de...
View ArticleClik here to view.
On the algebra of processes III
THE ALGEBRA OF SEQUENTIAL PROCESSES AS COSPANS(GRAPH/A): Infinite state caseLet us now assume that the graphs may be infinite. We will however make some finiteness assumptionswhich correspond to...
View ArticleClik here to view.
On the algebra of processes IV
In this post I want to begin describing simple sequential programming in terms of Cospan(Graph/A). First let's look at two examples of (infinite) cospans:N is the natural numbers. The span "error" is...
View ArticleClik here to view.
The algebra of processes V
SEQUENTIAL PROGRAMMING in Cospan(Graph) continued:We are now not interested in the alphabet A, but just in writing sequential programs whose input/output behaviour yield partial functions, so we take A...
View ArticleThe algebra of processes VI
The PARALLEL ALGEBRA of PROCESSES Span(Graph)We have just described Cospan(Graph/A) as a sequential algebra. However if we take A × B instead of A, a cospan in Graph/(A×B) from X to Y consists of four...
View ArticleClik here to view.
The algebra of processes VII
PARALLEL PROGRAMMING in Span(Graph)Last post I promised to give an example of a parallel program. Here is a very simple one which is the parallel composite of two components both having state space...
View ArticleClik here to view.
The algebra of processes VIII - the distributive laws
I want to first say something about the abstract setting. In the arXiv paper (arXiv:0909.4136 ) we considered a more complicated notion of process (mentioned in the second post of this series) with...
View ArticleThe algebra of processes IX
I have had some problems so there has been a break in this series of posts. But also I was not quite sure how to explain what I called the distributive laws with the rather primitive mathematical...
View ArticleClik here to view.
Steve Bloom's tree
When Steve died in 2010 we said we would plant a tree in his memory at our mountain house. Here it is:
View ArticleClik here to view.