FOM: category theory, cohomology, group theory, and f.o.m.

Stephen G Simpson simpson at math.psu.edu
Tue Feb 22 10:37:04 EST 2000


Mossakowski:

 >     -------------------------------
 >     |                             |
 >     |                            \/
 >   Logic <--->  Set theory <--> Category theory
 >     /\                            |
 >     |                             |
 >     -------------------------------  

I have no idea what this diagram is supposed to mean.

-- Steve





More information about the FOM mailing list