From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/742
Path: news.gmane.org!not-for-mail
From: ralphw@math.uiuc.edu (Ralph Leonard Wojtowicz)
Newsgroups: gmane.science.mathematics.categories
Subject: (unknown)
Date: Sat, 23 May 1998 23:31:46 -0500
Message-ID: <199805240431.XAA01753@ginger.math.uiuc.edu.math.uiuc.edu>
NNTP-Posting-Host: main.gmane.org
X-Trace: ger.gmane.org 1241017155 27170 80.91.229.2 (29 Apr 2009 14:59:15 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 14:59:15 +0000 (UTC)
To: categories@mta.ca
Original-X-From: cat-dist Sun May 24 13:04:50 1998
Original-Received: (from Majordom@localhost)
	by mailserv.mta.ca (8.8.8/8.8.8) id LAA32390
	for categories-list; Sun, 24 May 1998 11:47:37 -0300 (ADT)
X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f
Original-Sender: cat-dist@mta.ca
Precedence: bulk
Original-Lines: 28
Xref: news.gmane.org gmane.science.mathematics.categories:742
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/742>


On pages 29--30 of "Categories for the Working 
Mathematician,"  MacLane reveals that "the discovery of
ideas as general as [categories, functors and natural
transformations] is chiefly the willingness to make a
brash or speculative abstraction, in this case supported
by the pleasure of purloining words from the philosophers:
`Category' from Aristotle and Kant, `Functor' from Carnap
and `natural transformation' from then current informal 
parlance."

Ideas from writings of Karl Marx are described in
"Conceptual Mathematics:  A First Introduction to Category
Theory,"  by Lawvere and Schanuel and elsewhere.


What orientation or program of study has philosophy given 
the investigation of mathematical categories?

Where could one begin reading to understand this influence?

Was selection of "monad" influenced by writings of Leibniz?


Thank you for your time.
					Sincerely,
					Ralph Wojtowicz