Hi, I have a general question which is not strictly speaking about categories, but I thought I would ask the members of the list anyhow. Here is the context: some people claim that there are mathematical proofs that are explanatory, that is, not only do they establish the claim they prove, but they also show why the given result holds. Here is my question: is there any proof, involving categories or not (but preferably so), that you would consider as being explanatory in this sense? Please answer off-list. Thanks, Jean-Pierre Jean-Pierre Marquis Professeur titulaire Responsable du premier cycle Département de philosophie Université de Montréal jean-pierre.marquis@umontreal.ca Tel: 514-343-6111 (33445) Télécopieur: 514-343-7899 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]