Re: Some books on category and topos theory

From: Bruno Marchal <>
Date: Fri, 7 Nov 2008 19:51:00 +0100

On 07 Nov 2008, at 15:57, Mirek Dobsicek wrote:

> Bruno Marchal in an older post wrote:
>>> Also,
>>> can you elaborate a bit more on the motivation behind category
>>> theory?
>>> Why
>>> was it invented, and what problems does it solve? What's the
>>> relationship
>>> between category theory and the idea that all possible universes
>>> exists?
>> Tim makes a very genuine remark (but he writes so much I fear that
>> has
>> been unnoticed!). He said: read Tegmark (Everything paper), then
>> learn
>> category, then read again Tegmark. Indeed I would say category
>> theory has
> Bruno, which of the Tegmark's 'Everything papers' did you have in
> your mind?

I guess it is this one:

But it looks the paper is alive and evolves. I was thinking of its
diagram of mathematical structures.
Category theory put "natural" order in mathematical theories.

But recursion theory is a sort of obstacle. category theory works
well for sort of first person recursion theory (like with
realizability, typed lambda calculus/comobinators, etc.)

Then category is a must for knots and geometry ...

Well come back,


You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to
To unsubscribe from this group, send email to
For more options, visit this group at
Received on Fri Nov 07 2008 - 13:51:13 PST

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