From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/307 Path: news.gmane.org!not-for-mail From: categories Newsgroups: gmane.science.mathematics.categories Subject: Re: Category Theory and Databases Date: Mon, 17 Feb 1997 10:44:04 -0400 (AST) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241016882 25114 80.91.229.2 (29 Apr 2009 14:54:42 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 14:54:42 +0000 (UTC) To: categories Original-X-From: cat-dist Mon Feb 17 10:44:59 1997 Original-Received: by mailserv.mta.ca; id AA11835; Mon, 17 Feb 1997 10:44:04 -0400 Original-Lines: 27 Xref: news.gmane.org gmane.science.mathematics.categories:307 Archived-At: Date: Mon, 17 Feb 1997 12:07:31 +0000 (GMT) From: David Pym There is some work by John Cartmell. He applied some ideas from his thesis --- about contextual categories, generalized algebraic theories and dependent type theory. The thesis was Oxford, '78, and some of it appeared in the Ann. P. Appl. Logic 32 (1986) 209-243. Unfortunately, the only reference to the databases applications that I can recall just now is: Formalizing the network and hierarchical data models --- an application of categorical logic, LNCS 240, 1986. Thomas Streicher may perhaps know more ? David > Date: Thu, 13 Feb 1997 15:12:56 UTC > From: Jose I. Bravo > > I am very interested in the application of Category Theory in the > area of Databases. Could anybody help me to obtain references on > this subject?