Thursday, July 24, 2014

Lex total categories and Grothendieck toposes

In the very valuable volume Sketches of an Elephant, A Topos Theory Compendium, Volume 1, Peter Johnstone mentions a lecture of Andre Joyal at the 1981 Cambridge Summer Meeting where he listed seven different descriptions of 'what a topos is like'. His fifth one was

(v) 'A topos is a totally cocomplete object in the meta-2-category of  finitely complete categories'.

Read more »

Monday, July 14, 2014

The algebra of processes XI

We have been thinking about categorical algebra for computer science now for 25 years. I want to discuss the problems of thinking seriously about two distinct disciplines, and how one might avoid the danger of falling between two stools.
Read more »

Sunday, July 13, 2014

The seeds of homotopy type theory

I was recently very surprised to find a lecture ( of Vladimir Voevodsky explaining his motivation for working on homotopy type theory and the mechanization of mathematics.

In brief the reason was that a group of well-known mathematicians working on "higher dimensional mathematics" since the 1980's were making errors which were not discovered for years, in one case not till more than 20 years after publication. Voevodsky refers to this situation as "outrageous".

Read more »

Friday, June 27, 2014

Shag on a rock

Well, it turns out that I cannot go to the Cambridge meeting, Category Theory 2014, after all. I will be having some treatment next week. I will try to put up on arXiv an account of the lecture I intended to give.

In an earlier post I said that my talk seemed to have no connection with any other that I could see from the titles. However looking a bit more closely perhaps there are one or two related.
Read more »

Friday, June 06, 2014

The algebra of processes X

Wednesday, June 04, 2014

Our house on the lake

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:

Saturday, May 31, 2014

The 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 resources of my blogspot. I should really find out how to incorporate TeX.
Read more »