- Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

From: Tim May <tcmay.domain.name.hidden>

Date: Fri, 5 Jul 2002 13:16:49 -0700

On Friday, July 5, 2002, at 10:54 AM, Bruno Marchal wrote:

*> But, perhaps more importantly at this stage I must recall the book
*

*> "Mathematics of Modality" by Robert Goldblatt. It contains fundamental
*

*> papers on which my "quantum" derivation relies. I mentionned it a lot
*

*> some time ago.
*

*> And now that I speak about Goldblatt, because of Tim May who dares
*

*> to refer to algebra, category and topos! I want mention that Goldblatt
*

*> did wrote an excellent introduction to Toposes: "Topoi". (One of the big
*

*> problem in topos theory is which plural chose for the word "topos".
*

*> There
*

*> are two schools: topoi (like Goldblatt), and toposes (like Bar and
*

*> Wells). :)
*

*>
*

*> Goldblatt book on topoi has been heavily attacked by "pure categorically
*

*> minded algebraist like Johnstone for exemple, because there is a remnant
*

*> smell of set theory in topoi. That is true, but that really help for an
*

*> introduction. So, if you want to be introduced to the topos theory,
*

*> Goldblatt Topoi, North Holland editor 19?(I will look at home) is
*

*> perhaps the one.
*

Yes, this is an excellent book. It has more of an expositional style

than many books on category and topos theory. It's out of print and

Amazon has been looking for months for a used copy for me. (Amazon can

search for books which become available. I also have them searching for

a copy of Mac Lane and Moerdijk's book on sheaves, logic, and toposes,

also out of print.)

Fortunately, I live near UC Santa Cruz, which has an excellent science

library.

The category and topos theory books I actually _own_ (bought through

Amazon) are:

* Cameron, Peter, "Sets, Logic and Categories, 1998. An undergraduate

level primer on these topics. One chapter on categories. (By the way,

most modern algebra books, e.g., Lang's "Algebra," Fraleigh, Dummitt and

Foote, etc. have introductory chapters on category theory, as this is

the "language" of modern abstract algebra.)

* Lawvere, F. William, Schanuel, Stephen H., "Conceptual Mathematics: A

first introduction to categories," 1997. This is a fantastic

introduction to categorical thinking. The authors are pioneers in topos

theory, but the presentation is suitable for any bright person. There is

not much on applications, and certainly no mention of quantum mechanics

a la Isham, Markopoulou, etc. But the conceptual ideas are profound.

(And this should be read before tackling the "formalistic" presentations

in other books.)

* Pierce, Benjamin, "Basic Category Theory for Computer Scientists,"

1991. A thin (80 pages) book which outlines the basics. Includes

material on compilers, the "Effective" topos of Hyland and others,

cartesian closed categories, etc.

* Mac Lane, Saunders, "Categories for the Working Mathematician, Second

Edition," 1971, 1998. Wow. A dense book by the co-founder of category

theory. As someone said, reading along at 10% comprehension is better

than reading other books at full comprehension. I find the book sort of

dry, on historical and conceptual motivations, but Mac Lane has written

many longer expositions in MAA collections of reminiscences...I just

wish mathematicians would do more of what John Baez in his papers: show

the reader the motivations.

(Much of mathematical writing came out of the tradition of "lecture

notes." In fact, the leading publisher of mathematics, Springer-Verlag,

calls their series "Lecture Notes," or, more recently, "Graduate Texts."

Brilliant mathematicians like Emil Artin and Emmy Noether would have

their lectures on algebra transcribed by grad students or post-docs,

like Van der Waerden, who would then republish the notes as "Moderne

Algebra," the first of the "groups-rings-fields" modern algebra books.

Which is why one of E. Artin's students, Lang, writes so many dry books!

These books are often very short on pictures or diagrams, very short on

segues and motivations. It's as if all of what a good teacher would do

in class, with drawings on blackboards, with historical asides, with

mentions of how material ties in with material already covered, with

mention of open research problems and unexplored territory...it's as if

all this material is just left out of these texts. Too bad.)

* Lambek, J., Scott, P.J., "Introduction to higher order categorical

logic," 1986. Way too advanced for me at this point. So no comments on

content. But it's useful to glance at topics so as to get some idea of

where things are going (part of the issue of motivation I raised above).

* Taylor, Paul, "Practical Foundations of Mathematics," 1999. Another

advanced book, covering logic, recursive function theory, cartesian

closed categories, and a lot of the second half I can't comment on. A

wonderful browsing book, as he has lots of tidbits and asides.

There are 3-4 other books I'd like to get, including the Goldblatt book

(he is giving permission to Xerox his book, so I may do that), the Mac

Lane and Moerdijk book, and a few others. Peter Johnstone wrote the

defining book on toposes in 1977...long-since out of print and

long-since overtaken by newer results. Ah, but he is about to have his

massive 3-volume set of books on topos theory published:

Here's John Baez's summary in his Week 180 column:

"2) Peter Johnstone, Sketches of an Elephant: a Topos Theory Compendium,

Cambridge U. Press. Volume 1, comprising Part A: Toposes as Categories,

and Part B: 2-categorical Aspects of Topos Theory, 720 pages, to appear

in June 2002. Volume 2, comprising Part C: Toposes as Spaces, and Part

D: Toposes as Theories, 880 pages, to appear in June 2002. Volume 3,

comprising Part E: Homotopy and Cohomology, and Part F: Toposes as

Mathematical Universes, in preparation.

"I can't wait to dig into this. A topos is a kind of generalization of

the universe of set theory that we all know and love, but topos theory

is really a wonderful way to unify and generalize vast swathes of

mathematics - you could say it's the way that logic and topology merge

when you take category theory seriously. I've really just begun to get a

glimmering of what it's all about, so I'm curious to see Johnstone's

overall view of the subject. "

(end of John Baez's comments)

The first two volumes are due this month or next, according to Oxford

University Press (_not_ Cambridge!) and Amazon. Cost for the two is a

whopping $295. But the books are 750 and 850 pages, respectively.

I'm am steeling myself to buying them. A lot of money, but this stuff is

more entertaining to me than spending the same amount for 1-2 nights in

a hotel, or lots of other things people spend their money on. And

obviously 1500 pages is a lot of reading!

And to better understand these things, I've been brushing up on my math

background. A lot of algebra texts (mentioned above), topology (Munkres,

Hocking and Young, Alexandroff, various Dover editions), and algebraic

topology (Massey, Bredon, Fulton, etc.). My background is mostly

physics, but I fortunately had some good exposure to analysis and

measure theory, the stuff that can provide the assumed "mathematical

maturity" for further study. I wish I'd spent more time studying this

stuff...but wishing about changes in the past is pointless.

I'm here now, in my one and only present, and this category and topos

theory is turning out to be enjoyable and stimulating as a goal unto

itself, and as a tool for, I think, better understanding things I want

to understand.

--Tim May

(.sig for Everything list background)

Corralitos, CA. Born in 1951. Retired from Intel in 1986.

Current main interest: category and topos theory, math, quantum reality,

cosmology.

Background: physics, Intel, crypto, Cypherpunks

Received on Fri Jul 05 2002 - 13:22:50 PDT

Date: Fri, 5 Jul 2002 13:16:49 -0700

On Friday, July 5, 2002, at 10:54 AM, Bruno Marchal wrote:

Yes, this is an excellent book. It has more of an expositional style

than many books on category and topos theory. It's out of print and

Amazon has been looking for months for a used copy for me. (Amazon can

search for books which become available. I also have them searching for

a copy of Mac Lane and Moerdijk's book on sheaves, logic, and toposes,

also out of print.)

Fortunately, I live near UC Santa Cruz, which has an excellent science

library.

The category and topos theory books I actually _own_ (bought through

Amazon) are:

* Cameron, Peter, "Sets, Logic and Categories, 1998. An undergraduate

level primer on these topics. One chapter on categories. (By the way,

most modern algebra books, e.g., Lang's "Algebra," Fraleigh, Dummitt and

Foote, etc. have introductory chapters on category theory, as this is

the "language" of modern abstract algebra.)

* Lawvere, F. William, Schanuel, Stephen H., "Conceptual Mathematics: A

first introduction to categories," 1997. This is a fantastic

introduction to categorical thinking. The authors are pioneers in topos

theory, but the presentation is suitable for any bright person. There is

not much on applications, and certainly no mention of quantum mechanics

a la Isham, Markopoulou, etc. But the conceptual ideas are profound.

(And this should be read before tackling the "formalistic" presentations

in other books.)

* Pierce, Benjamin, "Basic Category Theory for Computer Scientists,"

1991. A thin (80 pages) book which outlines the basics. Includes

material on compilers, the "Effective" topos of Hyland and others,

cartesian closed categories, etc.

* Mac Lane, Saunders, "Categories for the Working Mathematician, Second

Edition," 1971, 1998. Wow. A dense book by the co-founder of category

theory. As someone said, reading along at 10% comprehension is better

than reading other books at full comprehension. I find the book sort of

dry, on historical and conceptual motivations, but Mac Lane has written

many longer expositions in MAA collections of reminiscences...I just

wish mathematicians would do more of what John Baez in his papers: show

the reader the motivations.

(Much of mathematical writing came out of the tradition of "lecture

notes." In fact, the leading publisher of mathematics, Springer-Verlag,

calls their series "Lecture Notes," or, more recently, "Graduate Texts."

Brilliant mathematicians like Emil Artin and Emmy Noether would have

their lectures on algebra transcribed by grad students or post-docs,

like Van der Waerden, who would then republish the notes as "Moderne

Algebra," the first of the "groups-rings-fields" modern algebra books.

Which is why one of E. Artin's students, Lang, writes so many dry books!

These books are often very short on pictures or diagrams, very short on

segues and motivations. It's as if all of what a good teacher would do

in class, with drawings on blackboards, with historical asides, with

mentions of how material ties in with material already covered, with

mention of open research problems and unexplored territory...it's as if

all this material is just left out of these texts. Too bad.)

* Lambek, J., Scott, P.J., "Introduction to higher order categorical

logic," 1986. Way too advanced for me at this point. So no comments on

content. But it's useful to glance at topics so as to get some idea of

where things are going (part of the issue of motivation I raised above).

* Taylor, Paul, "Practical Foundations of Mathematics," 1999. Another

advanced book, covering logic, recursive function theory, cartesian

closed categories, and a lot of the second half I can't comment on. A

wonderful browsing book, as he has lots of tidbits and asides.

There are 3-4 other books I'd like to get, including the Goldblatt book

(he is giving permission to Xerox his book, so I may do that), the Mac

Lane and Moerdijk book, and a few others. Peter Johnstone wrote the

defining book on toposes in 1977...long-since out of print and

long-since overtaken by newer results. Ah, but he is about to have his

massive 3-volume set of books on topos theory published:

Here's John Baez's summary in his Week 180 column:

"2) Peter Johnstone, Sketches of an Elephant: a Topos Theory Compendium,

Cambridge U. Press. Volume 1, comprising Part A: Toposes as Categories,

and Part B: 2-categorical Aspects of Topos Theory, 720 pages, to appear

in June 2002. Volume 2, comprising Part C: Toposes as Spaces, and Part

D: Toposes as Theories, 880 pages, to appear in June 2002. Volume 3,

comprising Part E: Homotopy and Cohomology, and Part F: Toposes as

Mathematical Universes, in preparation.

"I can't wait to dig into this. A topos is a kind of generalization of

the universe of set theory that we all know and love, but topos theory

is really a wonderful way to unify and generalize vast swathes of

mathematics - you could say it's the way that logic and topology merge

when you take category theory seriously. I've really just begun to get a

glimmering of what it's all about, so I'm curious to see Johnstone's

overall view of the subject. "

(end of John Baez's comments)

The first two volumes are due this month or next, according to Oxford

University Press (_not_ Cambridge!) and Amazon. Cost for the two is a

whopping $295. But the books are 750 and 850 pages, respectively.

I'm am steeling myself to buying them. A lot of money, but this stuff is

more entertaining to me than spending the same amount for 1-2 nights in

a hotel, or lots of other things people spend their money on. And

obviously 1500 pages is a lot of reading!

And to better understand these things, I've been brushing up on my math

background. A lot of algebra texts (mentioned above), topology (Munkres,

Hocking and Young, Alexandroff, various Dover editions), and algebraic

topology (Massey, Bredon, Fulton, etc.). My background is mostly

physics, but I fortunately had some good exposure to analysis and

measure theory, the stuff that can provide the assumed "mathematical

maturity" for further study. I wish I'd spent more time studying this

stuff...but wishing about changes in the past is pointless.

I'm here now, in my one and only present, and this category and topos

theory is turning out to be enjoyable and stimulating as a goal unto

itself, and as a tool for, I think, better understanding things I want

to understand.

--Tim May

(.sig for Everything list background)

Corralitos, CA. Born in 1951. Retired from Intel in 1986.

Current main interest: category and topos theory, math, quantum reality,

cosmology.

Background: physics, Intel, crypto, Cypherpunks

Received on Fri Jul 05 2002 - 13:22:50 PDT

*
This archive was generated by hypermail 2.3.0
: Fri Feb 16 2018 - 13:20:07 PST
*