Bill Galchin's question concerns the appearance of category theory in a web page proposing to revamp the Georgian legislature (country of Georgia, not the US state), at http://www.asrios.ge/maincentreprojectsoverview_800.htm#reserch The proposal is in four sections. 1. Formation and Management of the Informational Legislative Space of Georgia. Six goals, ten tasks. General idea: formalize the legislature to the point where software methodology can support it. 2. A Theoretical Approach to the Formation of Progressive State Administration Structures Six objects, seven goals. General drift: update the administration. 3. Research on the Formation of Unified Dynamic Database Structure Based on Mathematical Models Idea: base the approach on categorial analysis, Petri nets, lattice theory, etc. (This is where the quote in question appeared.) 4. Training System "Increasing Efficiency of Organizations" Twelve training courses, five goals, four classes of personnel (administrators, captains of government and industry, entrepreneur-technologists, and students/trainees). The number of people likely to be fluent in both Georgian and category theory is presumably small enough to justify qualifying "stages" with "preliminary" in the proposal's conclusion: "Projects both theoretical and practical are at various stages of study." Vaughan Pratt 16-Sep-2002 17:27:06 -0300,3883;000000000000-00000000