Dear Category Theorists, It is undoubted that category theory has several, perhaps many, applications to database theory and design. A complete database engine which uses Kliesli monads, i.e., triples, in an interesting and fruitful manner is BioKliesli to which you may find references by accessing Val Tannen's website at the University of Pennsylvania. I continue to work, when I have the time away from more pressing duties, on the amazing connections between the theory of Diers categories (locally multipresentable categories) and databases. I suspect there are many other fruitful connections, for example, between the categorist's explication of intuitionistic logic and database query languages. To answer Bill Hatchin's question, I suppose the answer is ``nothing of import'' I personally will continue to ignore websites which seem to miss the point in favor of software buzzwords. Best, David -- Professor David B. Benson (509) 335-2706 School of EE and Computer Science (EME 102) (509) 335-3818 fax PO Box 642752, Washington State University office: Sloan 308 and 307 Pullman WA 99164-2752 U.S.A. dbenson@eecs.wsu.edu ---------------------------------------------------------------------------------- On Mon, Sep 16, 2002 at 11:42:07AM -0300, cat-dist@mta.ca wrote:
ep 2002 14:32:53 PDT Date: Fri, 13 Sep 2002 14:32:53 -0700 (PDT) From: Galchin Vasili <vngalchin@yahoo.com> Subject: categories: category theory application to database implementation To: categories@mta.ca MIME-Version: 1.0 Sender: cat-dist@mta.ca Precedence: bulk
Hello CT community,
Perhaps my question is too much of an applied question. I found a Web site where they say the following:
"The category theory may become the core part of the mathematical instrument for the conceptual systems development. The system can be presented as a category in which the relative correlation exists among the objects (morphisms). Each system must be presented both on generalized and concrete reflection levels. The generalized level (upper level) and each of the concrete reflection levels are categories. Hence, it should be considered the process of reflection between general and concrete levels (functors). Each objects of the category system can be a system by itself (category). Consequently we have to consider lattice dependence of categories both on the generalized level and as well as on the decomposition of the objects. Each system changes in time. So it should be considered problems related to the dynamics of categories. Complex consideration and decisions of the above-stated and other related problems should ensure the formation of the mathematical base. This will enable to consider the creation of dynamic, unified distributed databases that can be used in various applied fields."
What is this trying to say?
Regards, Bill Halchin
16-Sep-2002 20:07:07 -0300,5370;000000000001-00000000