Colin McLarty | 3 Oct 05:00 2005

Phreilambud at Bowdoin 1969

I am interested in any stories about the 1969 Summer Institute at
Bowdoin.  Who was there?

In particular,the Reports of the Midwest Category Seminar IV (SLN 137)
has a humor piece written as a ``final exam'' for the Institute.  It is
signed ``Phreilambud.''  Who is this?  I can make it up out of various
people's names, but I don't know who was there.

Colin

Picon

CSL'06 workshops and Ackermann Award

-------------------------------------------------------------------
                CSL  2006  Call For Workshop Proposals
-------------------------------------------------------------------

Computer Science Logic (CSL) is the annual conference series of the
European Association for Computer Science Logic (EACSL). The 15th
Annual Conference, CSL 2006, will take place in Szeged, Hungary,
from September 25 to September 29, 2006.  It will be organized by the
Department of Foundations of Computer Science at the University
of Szeged.

Workshops affiliated to CSL 2006 will be held before and after the
main conference, on September 23 and 24, and on September 30 and
October 1, 2006.

Researchers and practitioners are invited to submit proposals for
workshops on topics relating logic to computer science.

Proposals should include:

* A short scientific summary and justification of the proposed topic.
* Proposed format and agenda.
* Proposed duration.
* Procedures for selecting participants and papers.
* Expected number of participants.
* Potential invited speakers.
* Plans for dissemination (e.g. proceedings, journal special issue).

Workshop organizers are expected to be present during their workshops.
Full proposals are due November 15, 2005 and will be evaluated
(Continue reading)

Peter Freyd | 3 Oct 17:58 2005

Re: Phreilambud at Bowdoin 1969

``Phreilambud'' was written by me, a young student named Lambert who
disappeared, I think, from mathematics and David Eisenbud, now paying
for his sins as head of MSRI (Berkeley).
   Peter

John MacDonald | 3 Oct 19:37 2005
Picon
Picon

Re: Phreilambud at Bowdoin 1969


This is from memory so there could be some inaccuracies.

I first met John Isbell there since I shared office space with him. He
said that he saw no need to get a room since he could just sleep in the
office.

Peter Freyd's daughters babysat my daughter Eleanor, aged 2, and son
Lauchlin, aged 2 months and my first wife Dorinne often spoke with Pam.

Phreilambud included David Eisenbud for sure, and possibly Eilenberg,
Freyd and others.

John

On Sun, 2 Oct 2005, Colin McLarty wrote:

> I am interested in any stories about the 1969 Summer Institute at
> Bowdoin.  Who was there?
>
> In particular,the Reports of the Midwest Category Seminar IV (SLN 137)
> has a humor piece written as a ``final exam'' for the Institute.  It is
> signed ``Phreilambud.''  Who is this?  I can make it up out of various
> people's names, but I don't know who was there.
>
> Colin
>
>
>

(Continue reading)

Marco Grandis | 3 Oct 17:15 2005
Picon

Re: Name of concept?

Yes, I like this symmetric presentation.
____

As to "Notice..." (where you mean ... meet im(d),  of course), I
would add the following.

The condition  dd = 0  is linked with aspects whose relevance is
often ignored.
Without it, many systems of use in homological algebra would loose
any reasonable notion of "canonical isomorphism", and one should be
extremely prudent in working with induced morphisms and Noether
isomorphisms.

Let us start (in Ab, or any abelian category) with a sublattice  L
of subobjects of a given object (necessarily modular) and consider
the subquotients having numerator and denominator in L. Then, the
canonical isomorphisms among these subquotients (induced by the
identity) are closed under composition *if and only if* L is
distributive.

- Within this restriction, being "canonically isomorphic
subquotients" has a precise meaning: there is a well-determined
canonical isomorphism linking them.

- Without this restriction, composing canonical isomorphisms can
yield different isomorphisms between two given subquotients. Working
up to canonical isomorphism, as commonly done in homological algebra,
could easily lead to errors.

(For instance, it is easy to construct such a situation for
(Continue reading)

David Ellerman | 3 Oct 21:51 2005

Re: Phreilambud at Bowdoin 1969

I attended the Bowdoin Summer Seminar as a 2nd year math grad student with
some training in math logic and none in category theory. MacLane gave the
principal lectures (later developed into his CWM) and others (Eilenberg,
Isbell) weighed in with lectures on special topics.  A few points stick in
memory. For instance, Eilenberg lectured on his categorical treatment of
abstract machine theory. At one point he was analyzing the words generated
by a set of symbols A, and he derived that I+A+A^2+... = [I-A]^-1 with such
flourish that a spontaneous applause broke out in the audience. Otherwise,
Eilenberg along with Lawvere and Tierney played poker and smoked cigars with
great relish. In one lecture on some of Linton's results, MacLane presented
a picture of an Australian road sign for the town of "Colinton" which
MacLane said was named after Linton's antipodal dual. Foreign (i.e.,
non-North-American) category theorists were represented by (at least)
Eduardo Dubuc and Sabah Fakir. I don't know about "Phreilambud" but I
suspect the "bud" is from Eisenbud who mentions in his Preface to MacLane's
mathematical autobiography that Bowdoin was the only time he saw "Saunders
and Sammy" together and that all gathered around when they discussed the
origins of the subject one evening after dinner.

These were early days in the so-called 'foundations' debate with set theory
where the latter was represented at Bowdoin by Feferman. I suspect that many
of the arguments expressed in Feferman's 1977 article (which Colin recently
described as "the most sustained critique of categorical foundations to
date" [Phil. Math. 2005]) were hammered out at Bowdoin.

The last session of the seminar was called the "prayer meeting" where
various people were asked to "let their hair down" and talk informally about
the future of CT and foundations. I was the symbolic grad student asked to
say a few words and I was so nervous I don't remember what the others said!
I made a few (certainly elementary and perhaps incoherent) remarks on the
(Continue reading)

Robert J. MacG. Dawson | 4 Oct 13:42 2005
Picon

Re: Phreilambud at Bowdoin 1969

David Ellerman wrote:

> The final social event was a feast of Maine lobsters at a nearby beach
> presided over by MacLane and Dorothy. As we were devouring our lobsters, I
> particularly remember MacLane shouting out to all assembled: "Don't eat the
> green stuff, don't eat the green stuff!" (a reference to lower part of the
> lobster's alimentary canal).

	The "green stuff" is not the lower part of the lobster's alimentary
canal (a barely visible black "string"); it is the lobster's liver.
While the texture & flavor take more getting used to than those of the
white meat, the liver (known   slightly confusingly as "tomalley") is
perfectly wholesome, and should certainly be eaten. So, of course,
should the immature eggs (bright red & known as "coral") if present.

	-Robert Dawson

Ross Street | 4 Oct 03:27 2005
Picon
Picon

Re: Phreilambud at Bowdoin 1969

 > a picture of an Australian road sign for the town of "Colinton" which
 > MacLane said was named after Linton's antipodal dual. Foreign (i.e.,
 > non-North-American) category theorists were represented by (at least)
 > Eduardo Dubuc and Sabah Fakir.

Presumably I was considered North American at the time as the Bowdoin
Seminar came between a postdoc at U Illinois (Champ-Urb) and a assistant
professorship at Tulane. Sammy commented that I began the summer as an
Australian and ended up an all American boy. Sammy was prone to
exaggeration.

I have wonderful memories of that summer:

     Mac  Lane's incredible lectures (every morning -- 2 hours I
     think -- for the whole summer),
     freezing water at the beach although the weather was hot,
     the "pro-seminars" run by new postdocs that were organized after
     Mac Lane's first lecture,
     becoming marooned when the tide came in and Eduardo Dubuc (up to
     his chest in water) carried Joan Machez (sp?) while I supported her
     broken leg in its cast,
     the tall dormitory with 16 bedrooms per level and Sammy at the
     top in the penthouse,
     that clam and lobster bake,
     buying beer at the supermarket where the under-aged checkout
     girl had to get an older person to punch in the price of the beer!

     and many other things mathematical and non.

Mac Lane, Dubuc, Duskin and I moved down to Tulane after that for its
(Continue reading)

Luis Barbosa | 4 Oct 11:05 2005
Alexander Kurz | 5 Oct 12:12 2005
Picon
Picon

PhD Studentship available

Apologies for multiple postings
-------------------------------
Please distribute to potential candidates
-----------------------------------------

Recently, I advertised a postdoc position on the EPSRC-funded project
"Coalgebras, Modal Logic, Stone Duality".

Additionally, there is now a departmentally funded PhD studentship
(GTA) available. The GTA scheme involves some teaching and runs for 4
years. Unfortunately, the position is probably only of interest to
students with an EU nationality: the university seems to be unwilling to
waive the fees for non-EU nationals.

The topic of the PhD will be in the area of "Coalgebras, Modal Logic,
Stone Duality". Repeating from my previous mail:

>From the point of view of computer science, the project is about
logics for transition systems (coalgbras). From the mathematical point
of view, the project will explore the dualities arising from extending
basic, Stone-type dualities via an algebra-coalgebra duality. This
draws on results and concepts from modal logic, domain theory,
universal algebra and category theory. A background in one (or more)
of the above areas is desirable.

The official announcement and application form is available at (Ref
E2275)

  http://www.le.ac.uk/personnel/jobs/a&r.html

(Continue reading)


Gmane