August 1993 - Categories - categories.org.au

Beck's definition of module
by barr＠triples.Math.McGill.CA 03 Sep '93

03 Sep '93

In his 1967 thesis (but actually essentially completed by 1964) Beck defined an A-module, for an object A of a category _A_ to be an abelian group object in the slice _A_/A. This turned out to mean 2-sided A-modules, left A-modules, left A-modules and left A-modules in the categories of associative algebras, commutative (associative) algebras, groups and Lie algebras, resp., that is in all cases the desired coefficients for cohomology. This is all widely known among categorists. Has a full exposition of this ever been published and, if so, where? --Michael +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

4 3

october fest
by barr＠triples.Math.McGill.CA 31 Aug '93

31 Aug '93

In the past, most people who wanted to talk at the meeting told me about it at the last minute. Increasingly, people have asked in advance for a slot. Unless I have lost some, I have so far 11 requests. There is a practical limit of about 15, since we have to finish early enough on Sunday to allow people to return home. Below are the requests I have so far, names, email addresses, titles or descriptions and abstracts or any other relevant information on the talks. If you have made a request, be sure to check if you are on the list. If you want to request a slot, do not tarry. The order below is in the order I received them, BTW. Michael Giulio Katis <katis_p(a)maths.su.oz.au> working on Cauchy completion Jonathan Smith <jdhsmith(a)pollux.math.iastate.edu> Duality for semilattice representations (with A. Romanowska) We present general machinery for extending a duality between complete, cocomplete concrete categories to a duality between corresponding categories of semilattice representations. This enables known dualities to be regularised. Among the applications, regularised Lindenbaum-Tarski duality shows that the weak extension of Boolean logic (i.e. the semantics of PASCAL-like programming languages) is the logic for semilattice-ordered systems of sets. Another application enlarges Pontryagin duality by regularising it to obtain duality for commutative inverse Clifford monoids. Till Plewe <> on when a locale product of metrizable spaces is spatial Rick Blute <RBLUTE(a)acadvm1.uottawa.ca> Contextual Logic (joint with Robert Seely and Robin Cockett) Andreas Blass <ablass(a)math.lsa.umich.edu> TBA Djordje Cubric <cubric(a)triples.math.mcgill.ca> Interpolation property for bicartesian closed categories Bob Gordon <gordon(a)euclid.math.temple.edu> Enrichment Through Variation (joint with John Power) L Gaunce Lewis Jr <gaunce(a)ichthus.syr.edu> a talk about the equivariant Freudenthal suspension theorem One of those nice situations when just a little touch of category theory cleans up a mess in topology. Richard Wood <rjwood(a)cs.dal.ca> Distributive adjoint strings Stacy Finkelstein <stacy(a)saul.cis.upenn.edu> TBA Robin Cockett <robin(a)cpsc.ucalgary.ca> Copy Categories. These are symmetric monoidal categories in which every object has a natural coassociative cocommutative comultiplication -- but no (natural) counit. Examples include the category of partial maps of a finitely complete category, the Kleisli category of the exception monad of a distributive category, ... I shall describe the category of "formal propositions" of a copy category and why this gives insight into the embedding of a distributive category into an extensive category (its the 2-category theory behind it!)

1 0

Re: Uniqueness of strengths
by robin＠cpsc.ucalgary.ca 25 Aug '93

25 Aug '93

In partial answer to Oege de Moor's query concerning the uniqueness of strength in non-well-pointed finite product categories ... there is an, admittedly, special case when the strength is unique: namely when the type F is a strong initial (or final) datatype. The strength can be described as a fold (or unfold) and the uniqueness of this guarantees the uniqueness of the strength (actually this is dependent on the uniqueness of the strengths of the functors over which the datatype is defined ... which inductively one assumes are datatypes). Strong datatypes were described in "Strong Catgeorical Datatypes I" by myself and Dwight Spencer (p 141-169, Category Theory 1991) - also see Dwights thesis. More recently Bart Jacobs has given an alternative treatment which elides much of the fibrational and 2-categorical aspects present in our treatment. There are besides various other circumstances which force strengths to be unique. E.g. if F is cartesian over a functor G with a unique strength (that is there is a strong natural transformation F --> G with all naturality squares pullbacks) then its strength is uniquely determined. These observations were made in "Data III" (with Dwight: an unpublished follow on to the yet unpublished "Data II"!!) and were recently sharpened when Barry Jay visited here (Calgary). BUT does anyone have an example of a functor with a non-unique strength? -robin (Robin Cockett) +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

1 0

None
by Oege de Moor 25 Aug '93

25 Aug '93

Let F be an endofunctor on a category C that has finite products. A strength of F is a natural transformation phi(A,B) : FA x B -> F(A x B) satisfying the obvious coherence conditions with respect to the terminal object and associativity of products. Is anything known about uniqueness of such strengths, if C is not well-pointed? +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

1 0

Notice of Workshop
by La Monte H Yarroll 25 Aug '93

25 Aug '93

Forwarded message: >>From H.GUSTAFSON(a)qut.edu.au Tue Aug 24 14:05:16 1993

1 0

None
by unknown＠categories.mta.ca 24 Aug '93

24 Aug '93

****************************************************************************** ** 3C WORKSHOP 93 CATEGORIES, COMPUTING AND COMBINATORICS September 1-3, 1993 School of Computer Science and Engineering University of New South Wales * Second announcement and Programme * This is the second in a series of _informal_ workshops exploring the connections between category theory, logic theoretical computer science and algebraic combinatorics. It will provide a forum at which experts and interested workers from outside the field can exchange ideas. The scope of the workshop has been significantly widened. There will be talks in the following general areas: 1. Categorical logic and categorical models of computation (e.g. imperative programming, distributed computing) 2. The role of category theory in computer system design (e.g. object-oriented design, information systems and database theory, design process automation) 3. Applications of category theory to combinatorics and combinatorial topology 4. Algebraic combinatorics Our emphasis will be on the connections between different strands of research, and on new ways of thinking about old problems. We hope to promote cross-fertilisation between areas. There will be a series of tutorials on each of these areas during the afternoon of Wednesday, September 1; these will assume only a passing acquaintance with category theory and/or combinatorics. They are meant to provide a suitable background for the more specialised talks on Thursday and Friday. We expect a number of international visitors to be participating: these will include Takayuki Hibi (Hokkaido; algebraic combinatorics). Arrangements for other visitors have not yet been finalised, but they _tentatively_ include Nicoletta Sabadini (Milan), Lin Ying Ming(Szechuan), Eric Wagner (IBM Yorktown Heights) and Rod Burstall (Edinburgh). Anyone is welcome to participate. We intend the talks to be accessible to people without an extensive background in category theory and/or combinatorics; one of our major goals is to make the most recent ideas and results in these areas available to a wider community. In particular we would hope to have a number of industrial participants, as we did last year. Research students are also especially welcome. The programme will be finalised in August. Prospective speakers should contact Amitavo Islam as soon as possible. A limited amount of financial assistance is available to assist speakers travelling from interstate. Organisers: Wesley Phoa (UNSW) general organiser Karl Wehrhahn (Sydney) combinatorics Dominic Verity (Macquarie) category theory Amitavo Islam (Sydney) administration Linda Milne (UNSW) UNSW arrangements This workshop is being run in conjunction with the Software Engineering Research Group (UNSW), the Sydney Category Group, the CATACOMB Group (Sydney) and the Theory Group (Macquarie). ****************************************************************** WORKSHOP ON CATEGORIES, COMPUTING AND COMBINATORICS School of Computer Science and Engineering University of New South Wales Meeting Room 1, Samuels Building September 1-3, 1993 TENTATIVE PROGRAMME WEDNESDAY, September 1 -- tutorials 1:00 "Combinatorial Species" (Bill Unger) 2:00 "Ehrhart Polynomials" (Takayuki Hibi) 3:00 [coffee] 3:30 "Natural transformations and coherence" (Nick Verne) 4:30 "Exactness for datatypes" (Barry Jay) THURSDAY, September 2 9:00 "Graphs, Hall Algebras and quantum groups" (Jie Du) 9:55 [coffee] 10:15 "Toric varieties in combinatorics" (Vladimir Popov) 11:15 "Cyclotomic identities in combinatorics" (Adrian Nelson) 12:10 [lunch] 1:30 "Insight into information system structures using category theory" (Kit Dampney and Mike Johnson) 2:30 "Consistency for SML: an operational perspective" (Ed Kazmierczak) 3:25 [coffee] 3:45 "A categorical description and justification for a synthesizer" (Trudy Weibel) 4:45 "The programming language dr" (Desmond Fearnley-Sander) FRIDAY, 3 September 9:00 "Rewrite systems and 2-categories" (Ross Street) 9:55 [coffee] 10:15 "Distributive categories and parallel computation" (Henry Weld, Bob Walters and Nicoletta Sabadini) 11:15 "Categorical term rewriting" (Barry Jay) 12:10 [lunch] 1:30 "There is an anti-intuitionistic co-implication operator in Set^op" (La Monte Yarroll) 2:30 "Survey of Face Vectors and Ehrhart polynomials of convex polytopes" (Takayuki Hibi) 3:25 [coffee] 3:45 "Survey of Fibonacci lattices" (Rowan Kemp) 4:45 "Categories, dependent types and donkey sentences" (Wesley Phoa) ****************************************************************************** ****** This letter was sent to us by Karl Wehrhahn whose e-mail address is: wehrhahn_k(a)maths.su.oz.au It has been forwarded by Helen Gustafson, CMSA Membership Secretary +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

1 0

McGill Octoberfest
by fox＠triples.math.mcgill.ca 22 Aug '93

22 Aug '93

CATEGORY THEORY MEETING: OCT 9-10, 1993 CATEGORY THEORY RESEARCH CENTER, MCGILL UNIVERSITY Dear Colleague, We look forward to seeing you again this fall. We will meet in the basement of Burnside Hall (805 Sherbrooke St W) at 8:30 Saturday morning for coffee, and the first talk will be at 9:00. If you wish to speak, please contact Michael Barr as soon as possible. A final schedule will be drawn up Saturday morning. In the past these meetings have been run without registration fees. However, the combination of increasing costs and decreasing grants has made it impossible to continue on this basis. In order to recover part of our costs, this year there will be a registration fee of $25 for professors, $15 for students. Below you will find a list of hotels and tourist rooms within easy walking distance of McGill. To obtain the quoted price you should mention McGill when making your reservation. The area code for Montreal is 514. If you have any further questions, contact Tom Fox. Hotels: L'Appartement, 455 Sherbrooke W, 284-3634, $72 Howard Johnson Plaza, 475 Sherbrooke W, 842-3961, $79 Citadelle, 410 Sherbrooke W, 844-8851, $79 Four Seasons, 1050 Sherbrooke W, 284-1110, $120 Holiday Inn, 420 Sherbrooke W, 842-6111, $94 Journey's End, 3440 Park Ave, 849-1413, $79-88 Hotel du Parc, 3625 Park Ave, 288-6666, $90 Versailles*, 1659 Sherbrooke W, 933-3611, $89 Tourist Rooms: Ambrose, 3422 Stanley, 288-6922, $45-50 Armor*, 151 Sherbrooke E, 285-0140, $55-62 Casa Bella, 258 Sherbrooke W, 849-2777, $35-70 Pierre*, 169 Sherbrooke E, 288-8519, $35-55 *20 minute walk from McGill Dept of Mathematics and Statistics McGill University 805 Sherbrooke West Montreal, Quebec CANADA H3A 2K6 Michael Barr barr(a)triples.math.mcgill.ca Tom Fox fox(a)triples.math.mcgill.ca +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

1 0

change of address
by Reinhard.Boerger＠FERNUNI-HAGEN.DE 19 Aug '93

19 Aug '93

Please send all further messages for me to Hagen, where I returned after six months at York. My internet address is: Reinhard.Boerger(a)Fernuni-Hagen.de My postal address is: Fachbereich Mathematik Fernuniversit"at Postfach 940 58084 Hagen Germany Please note the new postal code according to the new German system. I should appreciate if the other network participants in Germany also posted their new postal codes by the network. Greetings Reinhard B"orger +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

2 1

UACT Participants List-posting corrected
by cfw2＠po.CWRU.Edu 18 Aug '93

18 Aug '93

+++++++++++ Note from Moderator: My apologies to Charles for resending his earlier posting under the Subject: of this one. Bob Rosebrugh +++++++++++ Participant List Universal Algebra and Category Theory July 12-23, 1993 [This file is being sent to the category mailing list (categories(a)mta.ca) and to the individuals listed below who have email addresses. I apologize for the overlaps. The source was a Macintosh file. I have attempted to replace the accented characters, which come out wrong on DOS machines, with their TeX equivalent, "\" followed by a symbol denoting the accent to be put on the following letter: ' acute ` grave " umlaut The source file missed many accents and included a number of misspellings, which I have corrected only when I was reasonably sure I knew what the correction should be. --Charles Wells] Jiri Adamek Technicka 2 Czech Technical University in Prague 166 27 Praha 6 Czechoslovakia adamek(a)math1.cvut.cs Pierre Ag\'eron Departement de Math\'ematiques Universite de Caen 14032 Caen, Cedex France gremlin(a)math.unicaen.fr Michael Albert Department of Mathematics Carnegie-Mellon University Pittsburgh, PA 15213 Michael.Albert(a)cmu.edu Teresa Maria Almada Departamento de Matematica University of Lisbon Rua Ernesto de Vasconcelos Bloco C1 - 3 Piso, 1700 Lisboa Portugal matjoao%ptearn.bitnet(a)FRMOP11.CNUSC.FR Kirby Baker Department of Mathematics University of California Los Angeles Los Angeles, CA 90024 kab(a)math.ucla.edu David Benson dbenson(a)eecs.wsu.edu George Bergman Department of Mathematics University of California Berkeley Berkeley, CA 94720 gbergman(a)math.berkeley.edu Joel Berman Department of Mathematics University of Illinois at Chicago Chicago, IL 60680 u10391(a)uicvm.bitnet Renato Betti Dip. di Matematica Politecnico di Milano Piazza Leonardo da Vinci, 32 20133 Milano Italy renbet(a)ipmma1.polimi.it David Bigelow Department of Mathematics Malaspina College 900 Fifth Street Nanaimo, BC V9R 5S5 Canada bigelow(a)mala.bc.ca Andreas Blass Department of Mathematics University of Michigan Ann Arbor, MI 48109-1003 ablass(a)umich.edu Dominique Bourn Math\'ematiques et d'Informatique Universit\'e de Picardie Jules Verne 33, rue Saint-Leu 80039 Amiens C\'edex 01 France Pilar Carrasco Universidad de Granada Departamento de algebra Campus Fuente Nueva s/n Granada 18071 Spain mcarrasco(a)ugr.es David Clark Math and Computer Science SUNY, College at New Paltz New Paltz, NY 12561 CLARKD%snynewvm.bitnet(a)cunyvm.cuny.edu Leslie Cohn Department of Mathematics The Citadel Charleston, SC 29409 cohnl(a)citadel.edu William Craig Department of Philosophy University of California Berkeley Berkeley, CA 94720 Brian Davey Department of Mathematics La Trobe University Bundoora, Victoria 3083 Australia Klaus Denecke Universit\"at Potsdam Fachbereich Mathematik Am Neuen Palais 10 0-1571 Potsdam Germany Carlos A. Di Prisco University of California Berkeley Berkeley, CA 94720 Thomas Drucker Co-Editor, Modern Logic 304 South Hanover Street Carlisle, PA 17013 Marcel Ern\'e Universit\"at Hannover Institut f\"ur Mathematik Welfengarten 1 W-3000 Hannover Germany aberne(a)dhvrrzn1.uni-hannover.dbp.de Paul Feit University of Texas at Permian Basin 4901 E. University Blvd. Odessa, TX 79762 p_feit(a)utpb.pb.utexas.edu Isabel M.A. Ferreirim Departamento de Matematica Universidade de Lisboa R. Ernesto de Vasconcelos, Bloco C1 1700 Lisboa Portugal @FRMOP11.CNUSC.FR:mimafer@ptearn.bitnet Thomas Fox Department of Mathematics Burnside Hall McGill University Montreal, H3A 2K6 Canada fox(a)triples.math.mcgill.ca Ralph Freese Department of Mathematics University of Hawaii Honolulu, HI 69822 ralph(a)math.hawaii.edu Ervin Fried Algebra ELTE TTK 1088 M\"uzeum krt. 6-8 H-1088 Budapest Hungary efried(a)ludens.elte.hu Hernando Gaitan Departamento de Matematicas Facultad de Ciencias Universidad de Los Andes Merida 5101 Venezuela gaitan(a)sun.com Steve Givant Mills College 5000 Mac Arthur Bhur Blvd. Oakland, CA 94613iel Gluschankof UFR de Math\'ematiques Universite Paris 7 - CNRS (URA 753) Tour 45, 5\`eme \'etage, coulior 45-55 2 place jussieu 75251 Paris, Cedex 05, France gluscha(a)logique.jussieu.fr Simon M. Goberstein Department of Mathematics California State University, Chico Chico, CA 95929 Abraham Goetz Department of Mathematics University of Notre Dame Notre Dame, IN 46556 abraham.goetz.2(a)nd.edu or abe(a)cartan.math.nd.edu Robert Gordon Department of Mathematics Temple University Philadelphia, PA 19122 gordon(a)euclid.math.temple.edu Marco Grandis Dipartimento di Matematica Universit\`a di Genova Via L.B. Alberti, 4 I-16132 Genova Italy grandis(a)cisi.unige.it John W. Gray Department of Mathematics University of Illinois Urbana, IL 61801 gray(a)symcom.math.uiuc.edu Mark Haiman Department of Mathematics University of California San Diego La Jolla, CA 92903-0112 Carol Halstead Stone Department of Mathematics Simon Fraser University Burnaby, BC V5A 1S6 Canada Catherine Haynie San Mateo, California Simone Hazan Michel H\'ebert Department of Mathematics Universit\'e Laval Quebec, G1K 7P4 Canada mhebert(a)mat.ulaval.ca Alex Heller City University of New York Christian Herrmann FB4 AG1 Technische Hochschule Darmstadt 64289 Darmstadt Germany herrmann(a)mathematik.th-darmstadt.de Jennifer Hyndman 1556 Charles Street, #402 Vancouver, BC V5L 2T1 Canada jhyndman(a)cs.sfu.ca Pawel Maria Idziak Department of Computer Science Jagiellonian University Nawojki 11, PL-30-072 Krakow POLAND idziak(a)ii.uj.edu.pl or idziak(a)math.berkeley.edu John Isbell Department of Mathematics Diefendorf Hall SUNY at Buffalo Buffalo, NY 14214-3093 MTHISBEL(a)ubvms.cc.buffalo.edu Awad Iskander Department of Mathematics University of S.W. Louisiana Lafayette, LA 70504 awadisk(a)usl.edu George Janelidze Mathematical Institute of the Georgian Academy of Sciences 1 Rukhadze str. 380093 Tblisi Republic of Georgia gjnel(a)imath.kheta.georgia.su Jaroslav Jezek Department of Mathematics University of Hawaii at Manoa 2565 The Mall Honolulu, HI 96822 jarda(a)math.hawaii.edu Mamuka Jibladze Mathematical Institute of the Georgian Academy of Sciences 1 Rukhadze str. 380093 Tblisi Republic of Georgia jib(a)imath.kheta.georgia.su Michael Johnson School of Mathematics and Computing Macquarie University NSW 2109 Australia mike(a)macadam.mpce.mq.edu.au Peter Johnstone Department of Mathematics University of Cambridge 16 Mill Lane Cambridge, CB2 1SB England Andr\'e Joyal Dept. de Math\'ematiques et d'Informatique Universite du Qu\'ebec a Montr\'eal Case Postale 8888 Succ "A" Montreal H3C 3P8 Canada joyal(a)math.uqam.ca Yefim Katsov Dept. of Mathematics & Comp. Science Hanover College P.O. Box 108 Hanover, IN 47243 katsov(a)hanover.edu Keith Kearnes Department of Mathematics Harvey Mudd College Claremont, CA 91711 kearnes(a)fenris.claremont.edu Max Kelly Department of Pure Mathematics University of Sydney New South Wales, 2006 Australia kelly_m(a)maths.su.oz.au Tim Kientzle University of California Berkeley Berkeley, CA 94720 Volker Kleinschmidt Department of Mathematics University of Illinois at Chicago Box 4348 Chicago, IL 60680, IL 60680 J\"urgen Koslowski volastr. 31 D-3000 Hannover 1 Germany ABERNE(a)dhvrrzn1.uni-hannover.d400.de Chuck Latting University of California Berkeley Berkeley, CA 94720 latting(a)math.berkeley.edu Dietlinde Lau Universit\"at Rostock FB Mathematik Universitatsplatz 1 0-2500 Rostock Germany William Lau P.O. Box 206 Siloam Springs, AR 72761ngs, AR 72761omme Universit\'e Catholique de Louvain Inst. de Math, Pure et Appliqu\'e Chemin du Cyclotron 2 B-1348 Louvain-La-Neuve Belgium William Lawvere Department of Mathematics SUNY at Buffalo Buffalo, NY 14214 MTHFWL(a)ubvms.cc.buffalo.edu Jonathan Leech Department of Mathematics Westmont College 955 La Paz Rd. Santa Barbara, CA 93108-1099 leech(a)westmx.westmont.edu or leech(a)westmont.edu Renato Lewin Instituto de Matematicas Universidad Cat\'olica de Chile Casilla 114-D, Santiago Chile rlewin(a)mat.puc.cl Ina Lindemann Springer-Verlag 175 Fifth Ave. New York, NY 10010 lindemann(a)spint.compuserve.com Fred Linton Department of Mathematics letown, CT 06457ty Middletown, CT 06457 flinton(a)eagle.wesleyan.edu or fejlinton(a)mcimail.com Tom Lippincott University of California Berkeley Berkeley, CA 94720 lippin(a)math.berkeley.edu Otfried Luders Department of Mathematics University Potsdam Am Neuen Palais 10 0-1570 Potsdam Germany Saunders Mac Lane Department of Mathematics University of Chicago 5734 S. University Ave. Chicago, IL 60637 saunders(a)math.uchicago.edu John L. MacDonald Department of Mathematics University of British Columbia 121-1984 Mathematics Road Vancouver, BC V6T 122 Canada johnm(a)math.ubc.ca Michael Makkai Department of Mathematics McGill University 805 Sherbroke, W. Montreal, H3A 2K1 Canada S. Margolis Department of Computer Science Ferguson Hall University of Nebraska-Lincoln Lincoln, NE 68588-0115 stu(a)lovelace.unl.edu L\'aszl\'o M\'arki Mathematical Institute Hungarian Academy of Sciences Budapest, P.O.B. 127, H-1364 Hungary H1133Mar(a)huella.bitnet Ralph McKenzie Department of Mathematics University of California Berkeley Berkeley, CA 94720 George McNulty Department of Mathematics University of South Carolina Columbia, SC 29208 mcnulty(a)math.scarolina.edu John Meakin Department of Mathematics & Statistics University of Nebraska-Lincoln 810 Oldfather Hall Lincoln, NE 68588 meakin(a)hoss.unl.edu Ieke Moerdijk Mathematical Institute Budapestlaan 6 P.O. Box 80.010 3508 TA Utrecht The Netherlands William Nico Cal State Hayward Hayward, CA nico(a)csuhayward.edu Susan Niefield Department of Mathematics Union College Schenectady, NY 21308-2311 NIEFIELS(a)gar.union.edu Loyiso Nongxa Harvard University Cambridge, MA 02138138 ngxa(a)math.harvard.edu Sheila Oates-Williams Department of Mathematics University of Queensland - St. Lucia Brisbane Q4067 Australia sw(a)maths.uq.oz.au P.P. P\'alfy Mathematical Institute Hungarian Academy of Sciences P.O.B. 127 Budapest, H-1364 Hungary H1134Pal(a)HUELLA.BITNET Paul H. Palmquist 13122 Dewey Street Los Angeles, CA 90066900660.1050(a)compuserve.com Robert Par\'e Department of Mathematics Dalhousie University Halifax, Nova Scotia, B3H 3J5 Canada pare(a)cs.dal.ca Gerhard R. Paseman P.O. Box 11992 Berkeley, CA 94701 94701an(a)math.berkeley.edu [this is probably paseman(a)math.berkeley.edu] Maria-Cristina Pedicchio Dipto di Matematica Universit\`a degli Studi di Trieste p. le Europa 1 34100 Trieste Italy pedicchi(a)univ.trieste.it Jon Phillips 35 St. John's Court Walnut Creek, CA 9459694596 Pigozzi Department of Mathematics Iowa State University Ames, IA 50011 dpigozzi(a)iastate.edu Goncalo Pinto Universidade Nova de Lisboa Departamento de Matematica Quinta Da Torre 2825 Monte De Caparica Portugal Alden Pixley Department of Mathematics Harvey Mudd College Claremont, CA 91711 apixley(a)sif.claremont.edu Gordon Plotkin University of Edinburgh Mayfield Road Edinburgh, EH9 3JZ SCOTLAND Hans-E. Porst Universit\"at Bremen Department of Mathematics Besselstr 65 2800 Bremen 1 Germany porst(a)informatik.uni-bremen.de A.J. Power Laboratory for Computer Science King's Buildings, University of Edinburgh Mayfield Road Edinburgh, EH9 3JZ SCOTLAND ajp(a)dcs.ed.ac.uk Vaughan R. Pratt 2215 Old Page Mill Road Stanford University Palo Alto, CA 94304 pratt(a)CS.Stanford.EDU or pratt(a)coraki.stanford.edu Hilary Priestley Mathematical Institute 24/29 St. Giles Oxford OX1 3LB England HAP(a)vax.oxford.ac.uk R.W. Quackenbush c/o Prof. B. Davey Department of Mathematics La Trobe University Bundoora, Victoria 3083 Australia gbush(a)ccu.umanitoba.ca Gunther Richter Fakult\"at f\"ur Mathematik Universit\"at Bielefeld D-4800 Bielefeld 1 Postfach 8640 Germany Anna Romanowska Instytut Matematyki Politechnika Warszawska Plac Politechniki 1 00661 Warszawa Poland aroman(a)plwatu21.bitnet W.H. Rowan P.O. Box 20791 Oakland, CA 9462094620n(a)garnet.berkeley.edu [probably rowan(a)garnet.berkeley.edu] Mark Sapir Department of Mathematics & Statistics University of Nebraska-Lincoln Lincoln, NE 68588-0323 msapir(a)hoss.unl.edu Maria Joao Saramago Departamento de Matematica University of Lisbon Rua Ernesto de Vasconcelos Bloco C1 - 3 Piso, 1700 Lisboa Portugal matjoao%ptearn.bitnet(a)FRMOP11.CNUSC.FR Jurg Schmid Mathematischas Institut Universit\"at Bern CH-3012 Bern Switzerland schmid(a)math-stat.unibe.ch Silke Schulz Ernst - Thalmann - Ring 46 A 0-2200 Griefswald Germany Dietmar Schumachev Acadia University, Canada Maria Gloria Schwarze Instituto de Matematicas Universidad Cat\'olica de Chile Casilla 114-D, Santiago Chile rlewin(a)mat.puc.cl Dana Scott International Computer Science Institute 1947 Center Street, Suite 600 Berkeley, CA 94704 dana.scott(a)proof.ergo.cs.cmu.edu Steven Seif Department of Mathematics University of Louisville Louisville, KY 40292 swseif01(a)ulkyux.louisville.edu Richard Squire 3848 Rue de Bullion Montreal, Quebec H2W 2E1 Canada Theron Stanford University of California Berkeley Berkeley, CA 94720 Sergei Starchenko Department of Mathematics Simon Fraser University Burnaby, BC V5A 1S6 Canada starchen(a)cs.sfu.ca Art Stone Department of Mathematics University of British Columbia Vancouver, BC V6T 1Y4 Canada macstone(a)bzu.ubc.ca or stone(a)math.ubc.ca Mike Stone University of Calgary mgstone(a)acs.ucalgary.ca Ross H. Street Department of Mathematics Macquarie University North Ryde, NSW 2109 Australia street(a)macadam.mpce.mq.edu.au Agnes Szendrei Jozsef Attila Tudomanyegyetem Bolyai Intezete Institututm Bolyaianum Universitatis 6720 Szeged Hungaria H1029Sze(a)huella.bitnet Walter F. Taylor Department of Mathematics University Colorado Boulder, CO 80309-0426 wtaylor(a)euclid.colorado.edu Walter Tholen Department of Mathematics York University 4700 Keele Street North York, Ontario M3J IP3 Canada tholen(a)mathstat.yorku.ca Howard M. Thompson University of California Berkeley Berkeley, CA 94720 Richard J. Thompson 355 Orchard Ave. Sunnyvale, CA 9408694086es Tierney Department of Mathematics Rutgers University New Brunswick, NJ 08905 tierney(a)mipsmath.math.uqam.ca Michael Tischendorf Technische Hochschule Darmstadt FB4 AG1 64289 Darmstadt Germany dc9m(a)mathematik.th-darmstadt.de Vera Trnkov\'a Math. Institute Charles University Prague Czechoslovakia trnkova(a)CSPGUK11.BITNET M.S. Tsalenko c/o L. Tslenko (Daughter) 1230 Liberty #1 El Cerrito, CA 94530 Steven Tschantz Department of Mathematics Vashville, TN 37235y Nashville, TN 37235 tschantz(a)athena.cas.vanderbilt.edu Matthew Valeriote Department of Mathematics McMaster University Hamilton, Ontario L8S 4K1 Canada matt(a)johnny.math.mcmaster.ca Joel Van der Werf University of California Berkeley Berkeley, CA 94720 D.H. Van Osdol Department of Mathematics University of New Hampshire Durham, NH 03824 D_VANOSDOL(a)UNHH.UNH.EDU Dominic Verity Department of Mathematics Macquarie University North Ryde, NSW 2109 Australia dom(a)macadam.mpce.my.edu.au Michail V. Volkov Department of Mathematics & Mechanics Ural State University 620083 Ekatherinburg Russia volkovm(a)math.urgu.e-burg.su Bernhard von Stengel Informatik 5 University of the Bundeswehr at Munich 85577 Neubiberg i51bbvs(a)rz.unibw-muenchen.de Samuel M. Vovsi Department of Mathematics Rutgers University New Brunswick, NJ 08903 vovsi(a)chaos.trenton.edu or vovsi(a)math.rutgers.edu Linda Wald Department of Mathematics University of California Los Angeles Los Angeles, CA 90024 linda(a)math.ucla.edu Nick Weaver Department of Mathematics University of California Berkeley Berkeley, CA 94720 weaver(a)math.berkeley.edu Benjamin Wells Department of Mathematics University of San Francisco San Francisco, CA 94117 wells(a)lynx.cs.usfca.edu Charles Wells Department of Mathematics Case Western Reserve University 10900 Euclid Avenue Cleveland, OH 44106-7058 cfw2(a)pop.cwru.edu Stephen Whitney Dept d'informatique et de math\'ematique Universite du Quebec a Chicoutimi 555 Boulevard de l'Universit\'e Chicoutimi, Quebec G7H 2B1 Canada Joan Wick Pelletier Office of the Associate Vice President York University 4700 Keele Street North York, Ontario Canada JWPELL(a)VM2.YorkU.CA Ross Willard Department of Pure Mathematics University of Waterloo Waterloo, Ontario N2L 3G1 Canada rdwillar(a)watdragon.uwaterloo.ca or puremath(a)math.waterloo.edu Shelly Wismath Fachbereich Mathematik Universit\"at Kaiserslautern D-6750 Kaiserslautern Germany wismaths(a)hg.uleth.ca Japheth Wood University of California Berkeley Berkeley, CA 94720 wood(a)math.berkeley.edu L\'aszlo Z\'adori Bolyai Institute Joszef Attila University H-6720 Szeged Aradi vertanuk tere 1 Hungary h2865zad(a)huella.bitnet Marek Zawadowski Department of Mathematics & Statistics McGill University 805 Sherbrooke St. W. Montreal, PQ H3A 2K6 Canada marek(a)triples.math.mcgill.ca Ian T. Zimmerman 426 Lexington Ave. El Cerrito, CA 945304530 zimmerman(a)snlndro.cerf.fred.org -- Charles Wells Department of Mathematics Case Western Reserve University +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

3 2

Lie?
by jds＠math.upenn.edu 17 Aug '93

17 Aug '93

We have monads = triples for both assoc algebras and Lie algebras but monad structure is associative 1)has any work been done on Lie analog of a monad? (an `infinitesimal ' monad) 2) has any work been done on the Lie analog of a category? i.e. skew-comm `comnposition' satisfying Jacobi when all three are defined?? jim stasheff +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

6 6