Maybe I am too cynical, but in my opinion, what he is trying to say is that he knows a lot of big, poorly understood words and if he strings enough of them together he might convince someone that he knows more than they do. That category theory encourages conceptual thinking is undoubted. Phrases such as "relative correlation" are, to me at least, meaningless and some of the later parts of that paragraph read like parody. But maybe I am wrong. Michael On Mon, 16 Sep 2002 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
--------------------------------- Do you Yahoo!? Yahoo! News - Today's headlines --0-1797606253-1031952773=3D:84530 Content-Type: text/html; charset=3Dus-ascii
<P>Hello CT community,</P> <P> Perhaps my question is too much of an applied q= uestion. I found a Web site where they say the following:</P> <P><FONT color=3D#000066>"The category theory may become the core part of t= he mathematical instrument for the conceptual systems development. The syst= em can be presented as acategory in which the relative correlation exists a= mong the objects (morphisms).<BR></FONT><FONT color=3D#000066 size=3D2>Each= system must be presented both on generalized and concrete reflection level= s. The generalized level (upper level) and each of the concrete reflection = levels are categories. Hence, it should be considered the process of reflec= tion between general and concrete levels (functors).<BR></FONT><FONT color= =3D#000066 size=3D2>Each objects of the category system can be a system by = itself (category). Consequently we have to consider lattice dependence of c= ategories both on the generalized level and as well as on the decomposition= of the objects.<BR></FONT><FONT color=3D#000066 size=3D2>Each system chang= es in time. So it should be considered problems related to the dynamics of = categories.<BR></FONT><FONT color=3D#000066 size=3D2>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 cr= eation of dynamic, unified distributed databases that can be used in variou= s applied fields." <BR></FONT></P> <P><FONT color=3D#000066 size=3D2>What is this trying to say?</P></FONT> <P><FONT color=3D#000066 size=3D2>Regards, Bill Halchin</P></FONT> <P><FONT color=3D#000066 size=3D2> </P></FONT><p><br><hr size=3D1>Do y= ou Yahoo!?<br> <b><a href=3D"http://news.yahoo.com/">Yahoo! News</a></b> - Today's headlin= es --0-1797606253-1031952773=3D:84530--
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
participants (3)
-
cat-dist＠mta.ca -
David B. Benson -
Michael Barr