From cat-dist Wed Sep 2 21:28:26 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id UAA04307 for categories-list; Wed, 2 Sep 1998 20:14:47 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Wed, 2 Sep 1998 22:49:46 +0200 (MET DST) From: "LPNMR'99" To: multiple mailing lists: Subject: categories: LPNMR'99 Call for Papers Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=ISO-8859-1 Content-Transfer-Encoding: 8BIT Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: [ Sorry for multiple copies. If you believe we have sent this to a list not appropriate for this announcement, please let us know (forwarding the full headers of this mail in your reply). ] ******************* * CALL FOR PAPERS * ******************* 5th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR'99 El Paso, Texas USA, September 22--25, 1999 http://www.dbai.tuwien.ac.at/lpnmr99/ LPNMR'99 is the fifth in the series of internatinal meetings on logic programming and nonmonotonic reasoning. Four previous meetings were held in Washington, U.S.A., in 1991, in Lisbon, Portugal, in 1993, in Lexington, U.S.A., in 1995, and in Dagstuhl, Germany, in 1997. The proceedings of LPNMR'99 will be published by Springer in the LNCS/LNAI series (http://www.springer.de/comp/lncs/). Aim and Scope The aim of the conference is to facilitate interactions between researchers interested in the design and implementation of logic based programming languages and database systems and researchers who work in the areas of knowledge representation and non-monotonic reasoning. A non-exhaustive list of topics of interest include: 1. Development and mathematical investigation of logical systems with non-monotonic entailment relations. This includes (but is not limited to) 1. Extensions of ``classical'' LPNMR languages by new logical connectives and new inference capabilities such as abduction, reasoning by cases, etc; 2. Semantics of new and existing languages; 3. Relationship between various formalisms; 4. Complexity and expressive power; 5. Development and implementation of inference mechanisms for LPNMR systems; 6. Updates and other operations on LPNMR systems; 7. LPNMR systems with uncertainty. 2. Applications of LPNMR systems. 1. Methodology of representing knowledge in LPNMR languages. Theory and practice; 2. LPNMR languages and algorithms in planning, diagnoses, software engineering, and other domains; 3. Implemented LPNMR systems: Descriptions, Comparisons, Evaluations and Benchmarks. Submission of Papers Papers must not exceed twelve (12) pages including references and figures, with a maximum of 38 lines per page and an average of 75 characters per line (corresponding to the LaTeX article style, 12 pt). Further information is available on the Springer website at http://www.springer.de/comp/lncs/authors.html. Papers must be written in English and include a cover page containing: title, abstract, keywords, postal and email addresses of all authors, voice and fax number of the contact author. Papers should be submitted in five copies to either of the Programme Co-chairs. Electronic submission should be sent in (compressed uuencoded) postscript to LPNMR99@dbai.tuwien.ac.at. Both electronic and postal submission must be received by April 6, 1999; by the same date, the authors must also send a text-only version of the cover page to LPNMR99@dbai.tuwien.ac.at. Accepted papers must be presented at the conference. Important Dates Monday April 6, 1999: Papers due Monday May 24, 1999: Notification of acceptance/rejection Monday June 21, 1999: Final camera-ready papers due Wednesday--Saturday September 22--25, 1999: LPNMR'99 Program Co-Chairs Michael Gelfond (University of Texas at El Paso, USA) Nicola Leone (Vienna University of Technology, Austria) Program Committee Jose Julio Alferes (Universidade de Evora, Portugal) Chitta Baral (University of Texas at El Paso, USA) Nicole Bidoit (Université de Bordeaux 1, France) Jürgen Dix (University of Koblenz, Germany) Thomas Eiter (University of Giessen, Germany) Vladimir Lifschitz (University of Texas at Austin, USA) Fangzhen Lin (The Hong Kong University of Science and Technology, China) Jack Minker (University of Maryland, USA) Anil Nerode (Cornell University, USA) Ilkka Niemela (Helsinki University of Technology, Finland) Dino Pedreschi (University of Pisa, Italy) Pasquale Rullo (University of Calabria, Rende, Italy) Chiaki Sakama (Wakayama University, Japan) V.S. Subrahmanian (University of Maryland, USA) Francesca Toni (Imperial College, London, U.K.) Miroslaw Truszczynski (University of Kentucky at Lexington, USA) Hudson Turner (University of Minnesota at Duluth, USA) Moshe Y. Vardi (Rice University, USA) Jia-Huai You (University of Alberta, Canada) Publicity Chair Gerald Pfeifer (Vienna University of Technology, Austria) For further details and up-to-date information please check our web page http://www.dbai.tuwien.ac.at/lpnmr99/ From cat-dist Thu Sep 3 15:43:42 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id OAA31442 for categories-list; Thu, 3 Sep 1998 14:16:28 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f From: Sophie.Tison@lifl.fr Date: Thu, 3 Sep 1998 09:47:27 +0200 Message-Id: <199809030747.JAA01252@goudale.lifl.fr> To: categories@mta.ca Subject: categories: Re: STACS'99: Call for Papers X-Sun-Charset: US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: Apologies if you receive multiple copies of this announcement! --------------------------------------------------------- --------------------------------------------------------- Call for Papers STACS'99 16th International Symposium on Theoretical Aspects of Computer Science March 4-6, Trier, Germany --------------------------------------------------------- http://stacs.uni-trier.de/STACS99/ --------------------------------------------------------- The 16th International Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Theoretical Computer Science of the Gesellschaft fuer Informatik (GI) and the Maison de l'Informatique et des Mathematiques Discretes (MIMD). Scope: Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of computer science. Typical areas include (but are not limited to): algorithms and data structures automata and formal languages computational and structural complexity semantics of programming languages theory of parallel and distributed computation parallel algorithms logic in computer science algorithmic learning theory computational geometry cryptography computer systems theory program specification verification VLSI structures theory of data bases computational issues in artificial intelligence Submissions: Authors are invited to submit a draft of a full paper (5-12 pages, the title page must contain a classification of the topic covered, preferably using the list of topics above). Proofs omitted due to space constraints must be put into an appendix. Electronic submission is highly recommended. Detailed information is available on the web site http://stacs.uni-trier.de/STACS99/ . In case of problems with access to internet, it is possible to submit 6 copies of the draft (plus 1 copy of the appendix) and 15 copies of a one page abstract to the chairman of the program committee. Important dates: Deadline for submission: September 11, 1998 Notification to authors: November 6, 1998 Final version: December 4, 1998 Symposium: March 4--6, 1999 Addresses: Christoph Meinel FB IV - Informatik Universitaet Trier D-54286 Trier, Germany web site http://stacs.uni-trier.de/STACS99/ email info@stacs.uni-trier.de Phone ++49-651-201-2836 Fax ++49-651-201-3954 Program Committee: S. Albers (Saarbruecken) R. Amadio (Marseille) R. Cori (Bordeaux) J. Esparza (Muenchen) J. Hromkovic (Aachen) C. Kenyon (Paris Sud) J. Koebler (Ulm) D. Krizanc (Carleton) Ch. Meinel (Trier, chair) A. Petit (Cachan) S. Rudich (Berkeley/Pittsburgh) J. Sgall (Praha) R. Silvestri (Roma) S. Tison (Lille, co-chair) P. Widmayer (Zuerich) Invited Speakers: N.Nisan (Jerusalem), P.Ossona de Mendez (Paris), Th.Wilke (Kiel). Organizing Committee: J.Bern, C.Damm, Ch.Meinel, M.Mundhenk, H.Sack. Proceedings: Accepted papers will be published in the proceedings of the symposium (Lecture Notes in Computer Science, Springer-Verlag). Dual submission to other conferences with published proceedings is not allowed. Grants: We expect to receive TMR grants from the EU commission to be able to support young researchers (age below 40 for female and below 35 for male) from EU countries or associated countries attending the conference. Researchers from Eastern- and Central-European countries can apply for a grant from the Deutsche Forschungsgemeinschaft (DFG). Detailed informations are available via request on e-mail. From cat-dist Tue Sep 8 21:28:24 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id TAA24774 for categories-list; Tue, 8 Sep 1998 19:53:43 -0300 (ADT) X-Authentication-Warning: triples.math.mcgill.ca: barr owned process doing -bs Date: Tue, 8 Sep 1998 13:58:02 -0400 (EDT) From: Michael Barr To: Categories list Subject: categories: Chew on this Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: Has anybody seen the following symmetric closed monoidal category? Let #A# be a category tripleable over Set. Let #V# be the comma category (F,#V#), F being the free functor. So an object (S,s,A) is an arrow s:FS --> A and a map (S,s,A) to (T,t,B) is a pair f: S --> T and g: A --> B making the obvious square commute. The closed structure (S,s,A) --o (T,t,B) is a certain arrow of the form (Hom((S,s,A),(T,t,B),?,B^S). The monoidal structure is fairly ugly, but it exists. Of course, an object (S,s,A) can also be thought of as an S-tuple of elements of A, by adjointness. Michael From cat-dist Thu Sep 10 11:45:16 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id JAA16668 for categories-list; Thu, 10 Sep 1998 09:34:31 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Thu, 10 Sep 1998 20:50:38 +1000 (EST) From: maxk@maths.usyd.edu.au (Max Kelly) Message-Id: <199809101050.UAA19064@milan.maths.usyd.edu.au> To: categories@mta.ca Subject: categories: the origins and use of "co" Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: Having been out of email contact since late June, what with travels and hospitals, I have only now read the correspondence in early July on this subject. I note that the only "co" in the Macquarie dictionary is that coming from Latin "cum', of which the "co" in "cosine" is a special case, in that it is short for "complement". I don't recall ever knowing the origin of "colimit" and so on, but I can report an interesting observation by Sammy Eilenberg (in private conversation, when we were collaborating) on why projective limits are "limits" and inductive limits are "colimits", and not the reverse. His point was that L is a limit in the category A iff, for each a in A, the set A(a,L) is a limit in Set; while C is a colimit in A iff, for each a in A, the set A(C,a) is a limit in Set - not a colimit. So one needs limits in Set even to DEFINE colimits in A. If you like, God made limits, while colimits are Menschenwerk. As for "cofinal", where the "co" was originally of the "cum" type, meaning that the subsequence was "equally final" with the whole sequence, and which was "confinal" in German, we of the Sydney school - very likely at the same time as others - saw it as hopelessly confusing in view of the categorical use of "co", and deliberately changed it to "final" in our writings, with "initial" for the dual. Note that the notion of a final functor works beautifully even for WEIGHTED limits, as in my book on enriched categories. Max Kelly. From cat-dist Thu Sep 10 21:10:39 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id UAA19295 for categories-list; Thu, 10 Sep 1998 20:06:48 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f From: CAYLEY@tifrvax.tifr.res.in Date: Mon, 7 Sep 1998 11:40 +0530 Subject: categories: Classification theory.. To: categories@mta.ca Message-id: <01J1IV6TWT4W0003NQ@tifrvax.tifr.res.in> X-VMS-To: IN%"categories@mta.ca" Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: Hello, I am looking for papers which interpret the conceptual framework (Stability, Simplicity..) of Shelah's Classification theory in purely categorical terminology. In spite of a remark (page 58, Accessible Categories: Makkai and Pare/ Cont maths 104) `one of the chief aims of clasification theory as pursued by S.Shelah is to answer a purely categorical inquiry about completely elemntary categories.' I have not been able to find further information about this aspect. I will be grateful for any pointers. Sincerely, P.S.Subramanian, Tata Institute. From cat-dist Fri Sep 11 17:22:16 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id QAA27267 for categories-list; Fri, 11 Sep 1998 16:09:49 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Received: from acs.auc.eun.eg (acs.aucegypt.edu [208.159.7.2]) by mailserv.mta.ca (8.8.8/8.8.8) with SMTP id LAA24671 for ; Fri, 11 Sep 1998 11:10:43 -0300 (ADT) X-Received: from [208.160.131.196] by acs.auc.eun.eg with SMTP for cat-dist@mta.ca; Fri, 11 Sep 1998 17:08:45 GMT X-Sender: mhebert@acs.auc.eun.eg Message-Id: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Fri, 11 Sep 1998 17:18:03 +0200 To: cat-dist@mta.ca From: mhebert@aucegypt.edu (Michel Hebert) Subject: categories: Re: Classification theory.. Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: > Hello, > > I am looking for papers which interpret > the conceptual framework (Stability, > Simplicity..) of Shelah's Classification > theory in purely categorical terminology. > > In spite of a remark (page 58, Accessible > Categories: Makkai and Pare/ Cont maths 104) > > `one of the chief aims of clasification > theory as pursued by S.Shelah is to > answer a purely categorical inquiry > about completely elemntary categories.' > > I have not been able to find further > information about this aspect. > > I will be grateful for any pointers. > > Sincerely, > P.S.Subramanian, > Tata Institute. I don't know of anything treating this directly, but you may have a look at: "Accessible categories, saturation and categoricity" by J. Rosicky, J. Symbolic Logic 62 (1997), 891-901. Michel Hebert __________________________________________________________________ Michel Hebert E-mail: mhebert@aucegypt.edu Mathematics Unit Phone: 357-6366 The American University in Cairo FAX: 355-7565 113 Sharia Kasr el-Aini, Box 2511 Cairo 11511 EGYPT __________________________________________________________________ From cat-dist Fri Sep 11 17:22:42 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id PAA25949 for categories-list; Fri, 11 Sep 1998 15:51:10 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Organization: DFKI Saarbruecken GmbH, D 66123 Saarbruecken Message-Id: <199809110643.IAA14271@ws-421.ags.uni-sb.de> X-Mailer: exmh version 2.0zeta 7/24/97 To: categories@mta.ca Subject: categories: Call for Participation: FM-TRENDS 98 Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Fri, 11 Sep 1998 08:43:50 +0200 From: Dieter Hutter Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: INTERNATIONAL WORKSHOP ON CURRENT TRENDS IN APPLIED FORMAL METHODS Boppard, Germany, 7-9 October, 1998 http://www.dfki.de/vse/fm-trends This workshop focuses on key technologies that broaden the application of formal methods in an industrial setting. Rather than addressing special topics in an isolated way it is intended to embrace the various aspects of this emerging new technology comprehensively with respect to its industrial applications. The workshop is split into an ``academic'' part (2 days) and an application part (1 day). For the academic part we obtained more than 30 submissions from which we selected 15 papers for presentation. Egon Boerger, Manfred Broy, and Ed Clarke will be the invited speakers for the various sessions. The application day is dedicated solely to current and future applications of formal methods. Technical sections will cover the main application areas, like hardware verification, embedding systems, and security. To registrate to the workshop or to get detailed information please contact our web-page: http://www.dfki.de/vse/fm-trends ORGANIZERS: ----------- M. Ullmann, F. Koob, H.P. Wagner (BSI, Bonn, Germany), J.H. Siekmann, D. Hutter, W. Stephan (DFKI GmbH, Saarbruecken, Germany), M. Wilikens (European Commission, JRC, Ispra, Italy), F. Giunchiglia, P. Traverso (IRST, Trento, Italy) ADVISORY BOARD: --------------- E. Astesiano, (U Genova, I), K.R. Apt (CWI, NL), J. Bergstra (U Amsterdam, NL), V. Berzins (Naval Post. School, USA), D. Bjorner (U Denmark, DK), R. Bloomfield (Adelard, UK), J. Bowen (U Reading, UK), B. Boyer (U Texas, USA), M. Broy (TU Munich, D), A. Bundy (U Edinburgh, UK), E. Clarke (CMU, USA), W. Damm (U Oldenburg, D), J.W. de Bakker (CWI, NL), W.P. de Roever (U Kiel. D), H.D. Ehrich (U Braunschweig, D), E.A. Emerson (U Texas, USA), H. Ganzinger (MPII, D), M.C. Gaudel (LRI-CNRS, F), J. Goguen (U California, USA), D. Gries (Cornell U, USA), Y. Gurevich (U Michigan, USA), D. Harel (Weizmann Inst., Is), T. Henzinger (Berkeley U, USA), M. Hinchey (NJ Inst. of Technology, USA), C.A.R. Hoare (Oxford U UK), D. Howe (Bell Labs, USA), N. Jones (U Copenhagen, DK), D. Kapur (NY State U, USA), H. Kirchner (INRIA, F), H. Langmaack (U Kiel, D), T. Maibaum (Imperial College, UK), U. Martin (U St. Andrews, UK), J S. Moore (U Texas, USA), U. Montanari, (U Pisa, I), T. Nipkow (TU Munich, D), D. Parnas (McMaster U, CAN) L. Paulson (Cambridge U, UK), A. P. Ravn (TU Denmark, DK), A. W. Roscoe (Oxford U, UK), J. Sifakis (CNRS, F). From cat-dist Fri Sep 11 17:23:11 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id QAA28175 for categories-list; Fri, 11 Sep 1998 16:06:39 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Fri, 11 Sep 1998 18:11:24 +0200 From: Philippe Gaucher Message-Id: <199809111611.AA10235@irmast1.u-strasbg.fr> Subject: categories: cubical nerve or not ? To: categories@mta.ca Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Content-Md5: v7FxAtvhIVpKeku1Fkdgkg== Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: Dear all, If D is any category equipped with a "cohomotopy structure" (P,p0,p1,s) where P:D->D is a functor and p_0,p_1:P->Id_D and s:Id_D->P are natural transformations of functors such that p_0s=p_1s=Id_D, we get cubical sets by the following way : we set P^0=Id_D, P^{n+1}=P(P^n) and d^\delta_{i,n} = P^{i-1}p_\delta P^{n-i}:P^n-->P{n-1}, i=1,...,n, \delta=0,1 s_{i,n} = P^{i-1}s P^{n+1-i}:P^n-->P^{n-1}, i=1,...,n+1 and (D(X,P^n(Y)),d^\delta_{i,n},s_{i,n})_n is a cubical set for any object X and Y of D. [I am using the notations of the paper "Homotopies of small categories", Marek Golasinski, Fund.Math. 114 (1981) no 3, 209-217] Now, take D = omega-Cat, I^1 the 1-cube {a -u-> b} and for P the following functor : if C is an omega-category and 2_n the omega-category representing C|->C_n, we set P(C) = Hom^l(I^1,C) (the left internal hom : take the right one if you want) with p_0 and p_1 induced by 2_0 ==> I^1 (==> means 2 arrows) which send the point of 2_0 on a (resp. b) of I^1 and s : I^1 -> 2_0 which sends a and b on the point of 2_0 and the 1-morphism of I^1 on the degenerated 1-morphism. So (P,p_0,p_1,s) is a cohomotopy structure on omega-Cat. => (omega-Cat(X,P^n(C)),d^\delta_{i,n},s_{i,n}) for any omega-category X. With X=2_0, omega-Cat(X,P^n(C))=omega-Cat(I^n,C), and (I think) we get the classical cubical nerve. We have to verify that the face and degeneracy maps are the same in both cases (for the underlying set, it is trivial). I am looking for a simple ("abstract") argument in order to aviod an explicit computation. Thank you for any help. pg. From cat-dist Mon Sep 14 13:57:30 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id LAA27291 for categories-list; Mon, 14 Sep 1998 11:00:21 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Mon, 14 Sep 1998 01:55:11 +0100 (BST) From: Paul Taylor Message-Id: <199809140055.BAA05087@ruby.dcs.qmw.ac.uk> To: categories@mta.ca Subject: categories: Barr's symmetric monoidal closed comma category Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: Mike Barr asked whether anyone had been aware that the comma category (F,A) or equivalently (S,U) is symmetric monoidal closed, where A ^ | F| -| |U | V S is a monoidal (tripleable) adjunction over S=Set. As he said, an object (S,s,A) is an arrow s:FS--> A (or, by adjointness, an S-tuple of elements of A) and a map (S,s,A) to (T,t,B) is a pair f: S --> T and g: A --> B making the obvious square commute. He said that the closed structure (S,s,A) --o (T,t,B) is a certain arrow of the form (Hom((S,s,A),(T,t,B),?,B^S). I have certainly seen comma categories like (S,U); they are referred to as gluing, sconing or the Freyd cover. (BTW Peter says that "scone" is a corruption of Sierpinski cone, so its correct pronunciation is presumably "shco:ne".) This construction provides an almost magical proof of strong normalisation, consistency and similar results for various fragments of symbolic or categorical logic. The algebraic theory that I have in mind here for Mike's monadic adjunction is that which describes the fragment of logic in question (the Australians would prefer us to talk about a 2-monad here). An early example of such a proof in the unification of these two traditions was given by Yves Lafont in an appendix to his thesis. He proved that the embedding of a category in the free CCC that it generates is full and faithful. In the course of this he described the exponential in (S,U), which is what Mike's formula gives, though I didn't notice (and apparently nor did Yves) that the A-object which we have is the internal version of Mike's Hom-set. Yves Lafont's result appears as part of a generic account of the gluing construction in Section 7.7 of my forthcoming book. Paul From cat-dist Mon Sep 14 14:20:33 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id LAA27607 for categories-list; Mon, 14 Sep 1998 11:03:40 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Reply-To: "Al Vilcius" From: "Al Vilcius" To: Subject: categories: approaches to crypto Date: Sun, 13 Sep 1998 22:43:23 -0400 Message-ID: <000001bddf89$71c08d40$8ba32581@summitgl.erols.com> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: Dear friends: has anyone in CT-land been thinking about cryptography? I'm looking for a structuralists' spin to the now classical approaches, primarily relating to public key cryptosystems as initiated by [DH'76], which complements the standard number theory approach [K'94]. In [D'88] Diffie suggests that abstractions which have proven to be useful in addressing many other classical problems will also be needed in crypto. Of course! The classical central problem is to find suitable "one-way" functions or algorithms: easy in one direction but "hard" in the other. Factoring is one example, as well as discrete logs in finite fields and groups of elliptic curves where the arithmetic is computationally difficult. A delightful survey (translated from German) is given in the little MAA monograph [B'94] by Beutelspacher, worth reading for its enjoyment alone. Provably secure cryptosystems do exist; this occurs when there is an iso between messages and random keys, although "truly random" is still problematic. However, these are not practical in general, and are not used commercially. Consequently, in trying to break cryptosystems, most approaches to the crypanalysis are analytic, focusing on digital computation. However I have this feeling that an "analogue" approach may be fruitful. After all, one of the most successful attacks to date is DPA (differential power analysis) [NYT'98] which is essentially an analogue or non-computational method of extracting keys and other information. But in addition to physical engineering methods, there may other logical analogue approaches such as quantum computing that might be useful, and arise categorically. The property that small changes in a message should result in large changes in the cryptogram may suggest some application of chaotic or non-linear dynamical systems. This has indeed been tried, but again on a mechanical rather than structural level. It feels like time should be fundamental (temporal thinking?) since that seems to provide the uniqueness to distinguish messages. However, this should also involve a deeper understanding of variation (perhaps via time sheaves) which might provide superior approaches in terms of thinking about crypto problems. An indication that crypto may be interesting to categorists is that protocols could be viewed in game theoretic terms, the latter having already been considered structurally. Furthermore, perhaps all attack scenarios can be formulated in game theoretic terms, hence also defense strategies. Another inspiration (at least to me) is induced by the nice treatment given by Steve Vickers to the example of bit strings as topological systems that threads through [V'89]. After all, 2-star-omega is the crypto base space. As a final inducement, it is worth noting that there is real money in this stuff. Commercial applications of crypto have great value in this security conscious information society of ours. Your thoughts would be most welcome, but no flames please. ... Al Vilcius (retread algebraist). References: [B'94] Albrecht Beutelspacher, "Crypyology", Mathematical Association of America, 1994 [D'88] Whitfield Diffie, "The First Ten Years of Public-Key Cryptograohy", Proc IEEE, Vol 76, No. 5, May 1988, pp.560-77 [DH'76] Whitfield Diffie and Martin Hellman, "New Directions in Cryptography", IEEE Transactions on Information Theory, Vol IT-22, No. 6, Nov 1976, pp. 644-54 [K'94] Neal Koblitz, "A Course in Number Theory and Cryptography", Springer-Verlag 1994 [NYT'98] "Cryptographers Discuss Finding Of Security Flaw in Smart Cards", New York Times, June 10, 1998 [V'89] Steven Vickers, "Topology via Logic", Cambridge UP 1989 From cat-dist Wed Sep 16 16:00:11 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id OAA03221 for categories-list; Wed, 16 Sep 1998 14:36:49 -0300 (ADT) Message-Id: <199809150443.NAA00323@phosphorus.kurims.kyoto-u.ac.jp> X-Authentication-Warning: phosphorus.kurims.kyoto-u.ac.jp: Host localhost didn't use HELO protocol To: categories@mta.ca Subject: categories: Re: Barr's symmetric monoidal closed comma category Date: Tue, 15 Sep 1998 13:42:59 +0900 From: HASEGAWA Masahito Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: Related to Mike and Paul's messages to categories, I had the following observation in my recent draft paper (http://www.kurims.kyoto-u.ac.jp/~hassei/papers/basic.ps.gz "Logical predicates for intuitionistic linear logic", Lemma A.1): Suppose that C and D are symmetric monoidal closed categories and that G:C->D is a symmetric monoidal functor. Moreover suppose that D has pullbacks. Then the comma category (D,G) can be given a symmetric monoidal closed structure, so that the obvious projection (D,G)->C is strict symmetric monoidal closed. I used this (together with the free symmetric monoidal cocompletion) for deriving "logical predicates (logical relations)" for intuitionistic linear type theories, thus in a similar way as Lafont's use of glueing for typed lambda calculi and ccc. In this paper I also have another lemma for glueing symmetric monoidal adjunctions, for interpreting the modality !. I have been wondering if this is a sort of folklore, but never found a reference. Best Regards, Masahito. Masahito Hasegawa Research Institute for Mathematical Sciences Kyoto University Kyoto 606-8502 Japan MAIL: hassei@kurims.kyoto-u.ac.jp URL: http://www.kurims.kyoto-u.ac.jp/~hassei From cat-dist Wed Sep 16 16:06:51 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id OAA05246 for categories-list; Wed, 16 Sep 1998 14:52:48 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f From: Typed Lambda-Calculi and Applications Message-Id: <199809151243.OAA21179@iml.univ-mrs.fr> Date: Tue, 15 Sep 98 14:28:25 +0200 To: categories@mta.ca Subject: categories: TLCA 99 : extended deadline Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: ________________________ EXTENDED DEADLINE FOR TLCA 99 In order to respond to a popular demand, the PC of TLCA 99 has decided to accept late submissions, namely all papers arriving BEFORE Monday 28 September. Below is the updated call for papers. \documentstyle{article} \parindent 0cm \pagestyle{empty} \textwidth 18cm \textheight 28cm \topmargin -2.5cm \oddsidemargin -1.2cm \evensidemargin 0cm \begin{document} \begin{center} {\Large Fourth International Conference on} \end{center} \smallskip \begin{center} {\Huge Typed Lambda Calculi and Applications} \end{center} \begin{center} {\Huge (TLCA'99)} \\ \end{center} \bigskip \begin{center} {\Large l'Aquila (Italia), 7 to 9 April 1999} \end{center} \smallskip \begin{center} {\LARGE \bf Call For Papers} \end{center} \bigskip The TLCA series of conferences aims at providing a forum for the presentation and discussion of recent research in an area which was originally a rather restricted field but has now considerably expanded. The following list of topics is non-limitative:\\ \vspace{-0.4cm} {\large \begin{center} \begin{tabular}{@{}ll} {\bf Proof-theory} & {Cut-elimination and normalization, Linear logic, \ldots}\\ \\ {\bf Semantics} & {Denotational semantics, Game semantics, \ldots}\\ \\ {\bf Operationality} & {Abstract machines, Parallel execution, \ldots}\\ \\ {\bf Typing} & {Subtypes, Type assignment systems, \ldots}\\ \\ {\bf Programming} & {Proof search, Type checking, \ldots}\\ \end{tabular} \end{center} } \bigskip \begin{minipage}[t]{8.5cm} The programme of TLCA'99 will consist of about 30 selected presentations in plenary sessions. The Programme Committee consists of:\\ {\bf S.~Abramsky}~(University of Edinburgh) \\ {\bf T.~Coquand}~(G\"oteborgs Universitet) \\ {\bf J.-Y.~Girard}~(IML/Marseille) ({\bf Chair}) \\ {\bf R.~Hindley}~(University of Wales Swansea) \\ {\bf J.-L. Krivine}~(Universit\'e Paris VII) \\ {\bf J.~Reynolds}~(Carnegie-Mellon University/Pittsburgh) \\ {\bf S.~Ronchi}~(Universit\`a di Torino) \\ {\bf A.~Scedrov}~(University of Pennsylvania/Philadelphia) \\ {\bf T.~Streicher}~(Technische Universit\"at Darmstadt) \\ {\bf M.~Takahashi}~(T\^oky\^o K\^ogy\^o Daigaku) \\ {\bf P.~Urzyczyn}~(Uniwersytet Warszawski) \\ {\bf Original contributions} should be sent by E-mail (Postscript files only) to \begin{quote} tlca99@iml.univ-mrs.fr \end{quote} and a short abstract should be sent as a separate E-mail; it should use only standard ASCII characters. Hard copy (6 copies) is also acceptable, to the address \begin{quote} Jean-Yves Girard, \\ Institut de Math\'ematiques de Luminy, \\ 163 Avenue de Luminy, case 907, \\ 13288 Marseille cedex 9, France \\ {\bf fax:} (+)-33-491269655 \end{quote} All submissions must be {\bf received} by Sept. 27, 1998. \end{minipage} \hspace{1cm} \begin{minipage} [t]{8.5cm} Papers should not exceed 15 standard A4 or U.S. quarto pages and should allow the Programme Committee to assess the merits of the work: in particular references and comparisons with related work should be included. Submission of material already published or submitted to other Conferences with Proceedings is not allowed.\\ {\bf Relevant dates:} \begin{quote} Submissions: {\em September 4, 1998}\\ Acceptance/rejection: {\em November 16, 1998} \\ Definitive versions due: {\em January 4, 1999} \end{quote} The accepted papers will be published as a volume of Springer Lecture Notes in Computer Science. Information about LNCS can be found at the home page \vspace{-0.3cm} \begin{quote} http://www.springer.de/comp/lncs/index.html \end{quote} More details about the Conference will become available later from the Organizing Committee Chairman: \begin{quote} Benedetto Intrigila\\ Dipartimento di Matematica\\ Universit\`a di l'Aquila\\ Via Vetoio, Loc. Coppito\\ 67100 l'Aquila, Italia\\ {\bf E-mail:} tlca99.aquila@univaq.it\\ {\bf fax:} (+)-39-862-433180 \end{quote} or at the home page: \begin{quote} http://w3.dm.univaq.it/tlca99 \end{quote} \end{minipage} \end{document} From cat-dist Fri Sep 18 13:26:26 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id LAA02101 for categories-list; Fri, 18 Sep 1998 11:44:09 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Fri, 18 Sep 1998 10:16:57 -0400 (EDT) From: Michael Barr To: Categories list Subject: categories: ftp on triples Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: We have apparently had some kind of break-in on triples using the ftp demon. The only damage has been the downloading of enormous quantities of material. Enough to slow triples to a halt and also to get the computing centre upset enough to threaten to remove us from their net. Therefore, we have disabled anonymous ftp. I am now trying to find out if the material is available from the web and, if not, how to make it available. In any case, if there is something you need, please write and ask the author and s/he will undertake to email it to you. Later on, we will decide what to do. One possibility is to password protect it and announce the password on this list. This will protect us from random browsers, while leaving it available to all subscribers to this list. Michael From cat-dist Sun Sep 20 14:44:00 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id NAA11632 for categories-list; Sun, 20 Sep 1998 13:25:30 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Sat, 19 Sep 1998 11:10:26 -0400 (EDT) From: F W Lawvere Reply-To: wlawvere@ACSU.Buffalo.EDU To: categories@mta.ca Subject: categories: Symmetric monoidal closed comma categories Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: This concerns the discussion by Mike Barr, Paul Taylor, and Masahito Hasegawa regarding symmetric monoidal closed comma categories: The construction (later called 'comma') in the category of categories was introduced in 1963 primarily for foundational simplification (though it was clear that certain particular cases, such as slice, were already in direct use). Besides the 2-categorical equational description of adjointness, one needs the description in terms of a bijection between arrows, but that does not require the complicated assumption that there exists a category of sets in which two given categories can be enriched. Namely, an adjunction between two given categories can be described by giving a third 'adjunction category', related by appropriate functors to them, which is isomorphic to two differently-constructed 'comma' categories. It seems that there are many cases in which this third category is of interest in itself, whether or not one of the two given categories is or is not monadic or comonadic over the other. Emilio Faro's notes from my Fall 1990 Buffalo course Categories of Space and of Quantity, mention essentially the result cited by Masahito Hasegawa. If an adjunction involves monoidal functors, then the adjunction category tends to be a monoidal closed category. This remark was essentially intended to supply semantically-based examples of closed categories which have one aspect which is linear (in the straightforward sense that coproducts equal products) and an opposite aspect which is cartesian (in the sense that the tensor is the categorical product). Of course, the most immediate subclass of examples, based on the data of a rig in a cartesian closed category, involve monadic adjunctions. On the other hand, several published papers on related matters axiomatically assume comonadic adjunctions. However, the simple algebraic stance, as Masahito Hasegawa points out, is that both aspects, as well as the relation between them, are all regarded as equally given. As part of the logic (= natural structure) of the resulting situation there will be unary (= modal?) operators reflected on each aspect by composing. A further step is to investigate to what extent the data can be approximated via data which is reconstructed on the basis of only one aspect or the other using this additional reflected structure. Both that step a la M. Stone, as well as the simple algebraic stance in the spirit of Chu and G. Mackey, are of course involved in the full study of any related pair of aspects (e.g. algebra and geometry). A problem from topology, where related considerations may help, concerns the operation of collapsing a connected subspace to a point (the effect of this operation on relative homology is part of the content of algebraic topology). In extending this operation to apply to not-necessarily-connected subspaces (and more generally, from inclusion maps to arbitrary maps), collapsing all these to a point would be an unnecessarily discontinuous functor. Rather, within the category whose objects are continuous maps, consider the subcategory wherein the domains of these structural maps are discrete (or zero-dimensional, if that is different in the model of continuity being considered). That subcategory is reflective (with the help of pushout) in case the model admits a left adjoint connected-components functor. In the case of a subspace, the reflector collapses each of its components to a distinct point in the new ambient space, and the lifted unit of the adjunction is epimorphic if the original one (to the connected components pi zero) is, even where the subspace is empty. I am wondering: under what conditions are these categories and functors cartesian monoidal closed? Indeed these things are probably folklore, but listed below are some references containing partial indications. Bill Functorial Semantics of Algebraic Theories Thesis Columbia University (1963) The Category of Categories as a Foundation for Mathematics, Proceedings of La Jolla Conference, Springer-Verlag (1966) 1 - 20 Categories of Space and of Quantity, Buffalo Course Notes by Emilio Faro (1990) ******************************************************************************* F. William Lawvere Mathematics Dept. SUNY wlawvere@acsu.buffalo.edu 106 Diefendorf Hall 716-829-2144 ext. 117 Buffalo, N.Y. 14214, USA ******************************************************************************* From cat-dist Mon Sep 21 17:58:36 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id PAA07129 for categories-list; Mon, 21 Sep 1998 15:52:50 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Mon, 21 Sep 1998 14:49:51 -0400 (EDT) From: Michael Barr To: Categories list Subject: categories: ftp on triples Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: I did not go into details on the problems we had, but so many have written to me offering diagnoses incompatible with the facts that I figure it is easier to describe them once and for all. There were two symptoms. First triples essentially stalled for minutes at a time. More seriously, the computer centre made a formal complaint that triples was generating so much traffic that it was seriously compromising the internet connection. Since McGill is the gateway to all of Quebec, this is serious business. There was an implicit threat to cut the department off if we didn't do something about it. I suppose then the department could have cut triples off, although it never went that far, since I first tried changing the root password in case whoever it was was changing the logs. This had no effect and the logs left little doubt that the only oddity was the ftp signons which showed simultaneous (maybe 8-10) from the same origin and that not identifiable by nslookup. (This last fact is not, in itself suspicious; the machine I am now using gets a new IP address whenever it is booted and cannot be identified by nslookup.) But the machine that does this is different every time. So it cannot be explained by, according to one suggestion, some newbie getting confused and copying the same thing many times. In fact, it is hard to know how you could copy enough to fill the while I-net channel. At any rate, closing the ftp access seems to have cured it. We are mulling over what to do. Some think that putting a password will inhibit non-category theorists that do not subscribe to the list. And I guess it would compromise Hypatia. But I think Vaughan mirrors triples anyway. Michael From cat-dist Wed Sep 23 02:05:52 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id CAA13642; Wed, 23 Sep 1998 02:05:52 -0300 (ADT) Date: Wed, 23 Sep 1998 02:05:52 -0300 (ADT) From: Categories List Message-Id: <199809230505.CAA13642@mailserv.mta.ca> X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f To: rrosebru Subject: BOUNCE categories@mta.ca: Approval required: Status: RO X-Status: >From rrosebru Wed Sep 23 02:05:51 1998 Received: from triples.math.mcgill.ca (rags@Triples.Math.McGill.CA [132.206.150.30]) by mailserv.mta.ca (8.8.8/8.8.8) with ESMTP id CAA12200 for ; Wed, 23 Sep 1998 02:05:50 -0300 (ADT) Received: from localhost (rags@localhost) by triples.math.mcgill.ca (8.8.5/8.6.10) with SMTP id BAA00039; Wed, 23 Sep 1998 01:09:15 -0400 X-Authentication-Warning: triples.math.mcgill.ca: rags owned process doing -bs Date: Wed, 23 Sep 1998 01:09:15 -0400 (EDT) From: "R.A.G. Seely" To: Linear mailing list , Types List , Categories List Subject: URL update for Category group, Montreal (Lambek Festschrift, etc) Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Recently there have been some security problems with the Montreal Category Group's ftp site on triples. This seems a good opportunity to remind people that our old "ftp-based" URLs have been updated for WWW use. In particularly, the "official" URL for the group's WWW page is (and has been for a while now) http://triples.math.mcgill.ca (note the absence of the redundant "www" prefix) Related URLs that are linked to this include the recent call for papers for the Lambek Festschrift (deadline 31 Jan 1999) http://triples.math.mcgill.ca/lambek/LambekVol.html as well as the current seminars of the group, and the table of contents for the upcoming special issue of JPAA in honour of Mike Barr ("Barrfest"). http://triples.math.mcgill.ca/~rags/seminar/ http://triples.math.mcgill.ca/barrfest/bfpapers.html (and other links of interest...) The last time a note such as this went out, we promised to support the "old" urls for a time - that time may be running out now, so we encourage all interested to verify that your links and bookmarks are up-to-date in this regard. For the time being, any ftp to triples may be unreliable, until the security issues are resolved. = rags = (Robert Seely) From cat-dist Wed Sep 23 12:24:49 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id KAA19122 for categories-list; Wed, 23 Sep 1998 10:39:08 -0300 (ADT) X-Authentication-Warning: triples.math.mcgill.ca: rags owned process doing -bs Date: Wed, 23 Sep 1998 01:09:15 -0400 (EDT) From: "R.A.G. Seely" To: Categories List Subject: categories: URL update for Category group, Montreal (Lambek Festschrift, etc) Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: Recently there have been some security problems with the Montreal Category Group's ftp site on triples. This seems a good opportunity to remind people that our old "ftp-based" URLs have been updated for WWW use. In particularly, the "official" URL for the group's WWW page is (and has been for a while now) http://triples.math.mcgill.ca (note the absence of the redundant "www" prefix) Related URLs that are linked to this include the recent call for papers for the Lambek Festschrift (deadline 31 Jan 1999) http://triples.math.mcgill.ca/lambek/LambekVol.html as well as the current seminars of the group, and the table of contents for the upcoming special issue of JPAA in honour of Mike Barr ("Barrfest"). http://triples.math.mcgill.ca/~rags/seminar/ http://triples.math.mcgill.ca/barrfest/bfpapers.html (and other links of interest...) The last time a note such as this went out, we promised to support the "old" urls for a time - that time may be running out now, so we encourage all interested to verify that your links and bookmarks are up-to-date in this regard. For the time being, any ftp to triples may be unreliable, until the security issues are resolved. = rags = (Robert Seely) From cat-dist Fri Sep 25 12:18:51 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id KAA26766 for categories-list; Fri, 25 Sep 1998 10:33:17 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Fri, 25 Sep 1998 15:55:51 +0300 (EET DST) From: Mamuka Jibladze To: Categories list Subject: categories: Re: Chew on this In-Reply-To: Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: One more comment on that fascinating ugly monoidal structure. Many years ago D. Pataraia as a student was asked to realise tensor product of vector spaces (V and W over k) as a colimit. He then came up with a diagram (sorry for still more ugly notation) k_{v,w} / \ / \ |_ _| V_w W_v That is, vertices of the diagram consist of U(W) copies of V, U(V) copies of W, and U(V)xU(W) copies of k (U is the forgetful functor to sets). And the maps... well, you guess. The reason this is relevant is that in the Barr's monoidal category, the product of (S->U(A)) and (T->U(B)) is (SxT->U(C)) where C is the colimit, in the category of algebras, of F(1)_{s,t} / \ / \ |_ _| A_t B_s It does not look so ugly after all, does it? :), Mamuka From cat-dist Mon Sep 28 13:19:02 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id KAA17717 for categories-list; Mon, 28 Sep 1998 10:44:44 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Message-ID: <360F028E.945C2B19@iswest.com> Date: Sun, 27 Sep 1998 23:29:18 -0400 From: Zhaohua Luo X-Mailer: Mozilla 4.05 [en] (Win95; I) MIME-Version: 1.0 To: categories@mta.ca Subject: categories: Abstract Algebraic Geometry Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: The following short note (see the abstract below) A Note on Reduced Categories is available on Categorical Geometry Homepage at the following address: http://www.azd.com/reduced.html Note that this file (together with most of the other files in the homepage) can be read now by any viewer capable of graphics (the symbols are included as gif. files). Z. Luo __________________________________________________________________ A Note on Reduced Categories Zhaohua Luo Abstract: In this note we introduce the notion of a reduced object for any category A with a strict initial object 0. A pair of parallel maps f, g: X --> Z is called "disjointed" if its kernel is the initial map to X. It is called "nilpotent" if any map t: T --> X such that (tf, tg) is disjointed is initial. An object X is called "reduced" if any pair of distinct parallel maps with domain X is not nilpotent. A category A is called "reduced" if any object is reduced. One can show that any epic quotient of a reduced object is reduced. A class D of objects of A is called "uni-dense" if any non-initial object is the codomain of a map with a non-initial object in D as domain. We show that any uni-dense class D of a reduced category A is a set of generators. Other properties and criterions of reduced categories are also studied. --------------A7DB306CE63DF22C54674FBE Content-Type: text/html; charset=us-ascii Content-Transfer-Encoding: 7bit The following short note (see the abstract below)

A Note on Reduced Categories

is available on Categorical Geometry Homepage at the following address:

http://www.azd.com/reduced.html

Note that this file (together with most of the other files in the homepage) can be read now by any viewer capable of graphics (the symbols are included as gif. files).

Z. Luo
__________________________________________________________________

A Note on Reduced Categories

Zhaohua Luo

Abstract:

In this note we introduce the notion of a reduced object for any category A with a strict initial object 0. A pair of parallel maps f, g: X --> Z is called "disjointed" if its kernel is the initial map to X. It is called "nilpotent" if any map t: T --> X such that (tf,  tg) is disjointed is initial. An object X is called "reduced" if any pair of distinct parallel maps with domain X is not nilpotent. A category A is called "reduced" if any object is reduced. One can show that any epic quotient of a reduced object is reduced. A class D of objects of A is called "uni-dense" if any non-initial object is the codomain of a map with a non-initial object in D as domain. We show that any uni-dense class D of a reduced category A is a set of generators. Other properties and criterions of reduced categories are also studied.
 
 
 
 
  --------------A7DB306CE63DF22C54674FBE-- From cat-dist Mon Sep 28 15:22:01 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id MAA04427 for categories-list; Mon, 28 Sep 1998 12:54:32 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Fri, 25 Sep 1998 20:07:43 +0200 From: Eva Ullan Subject: categories: CSL'99 2nd CFP *deadlines modified* (Text & LaTex versions) X-Sender: evah@147.96.1.121 To: categories@mta.ca Message-id: MIME-version: 1.0 Content-type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by mailserv.mta.ca id PAA26693 Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: ____________________________________________________ My apologies if you receive this more than once! ____________________________________________________ =================================== 2nd CALL FOR PAPERS -- CSL'99 Annual Conference of the European Association for Computer Science Logic September 20-25, 1999, Madrid, Spain =================================== __________________________________________________ IMPORTANT REMARK The proceedings volume will be available at the conference. In order to enable this, the DEADLINES for paper submission and notification of acceptance have been slightly MODIFIED w.r.t. the announcement made in the 1st call for papers. __________________________________________________ CSL is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. Suggested, but not exclusive, topics of interest include: * abstract datatypes, * automated deduction, * categorical and topological approaches, * concurrency theory, * constructive mathematics, * database theory, * domain theory, * finite model theory, * lambda and combinatory calculi, * logical aspects of computational complexity, * logical foundations of programming paradigms, * linear logic, * modal and temporal logics, * model checking, * program logics and semantics, * program specification, transformation and verification, * rewriting, * symbolic computation. EACSL BOARD Marc Bezem (Utrecht, President) Ian Stewart (Leicester, Vice-President) Clemens Lautemann (Mainz, Treasurer) Peter Hajek (Prague) Simone Martini (Udine) Christine Paulin (Paris) Moshe Vardi (Houston) Johann Makowsky (Haifa) Alexander Razborov (Moscow) EACSL homepage: http://www.dimi.uniud.it/~eacsl PROGRAM COMMITEE Samson Abramsky (Edinburgh, UK) Marc Bezem (Utrecht, The Netherlands) Peter Clote (Munich, Germany) Hubert Comon (Cachan, France) Jorg Flum (Freiburg i.Br., Germany) (co-chair) Harald Ganzinger (Saarbrucken, Germany) Neil Immerman (Amherst, USA) Neil Jones (Copenhagen, Denmark) Jan Maluszynski (Linkoping, Sweden) Michael Maher (Brisbane, Australia) Catuscia Palamidessi (Pennsylvania, USA) Mario Rodriguez-Artalejo (Madrid, Spain) (co-chair) Wolfgang Thomas (Aachen, Germany) Jerzy Tiuryn (Warsaw, Poland) Glynn Winskel (Aarhus, Denmark) Martin Wirsing (Munich, Germany) LOCAL ORGANIZING COMMITTEE J. Carlos Gonzalez-Moreno Teresa Hortala-Gonzalez Javier Leach-Albert (chair) Paco Lopez-Fraguas Fernando Saenz-Perez Eva Ullan-Hernandez SCIENTIFIC PROGRAMME In addition to invited lectures and contributed papers, there will be two tutorials on theorem proving and rewriting techniques, scheduled on September 24 afternoon (Friday) and September 25 morning (Saturday), immediately after the main conference. ** September 20--24, 1999: Invited Lectures and Contributed Papers The list of invited speakers will include: Jose Luis Balcazar (Barcelona, Spain) Javier Esparza (Munich, Germany) Martin Grohe (Freiburg, Germany) Peter D. Mosses (Aarhus, Denmark) V. Vianu (San Diego, USA) ** September 24--25, 1999: CSL Tutorials Douglas Howe (Bell Labs, USA) Aart Middeldorp (Tsukuba, Japan) PAPER SUBMISSIONS Submitted papers must be written in English and describe work not previously published. They must not be submitted concurrently to a journal or to another conference. Papers authored or coauthored by members of the Program Committee are not allowed. Submissions must not exceed 15 pages, including title page, figures, and references. The title page must contain: title and authors; physical and e-mail addresses; telephone and (if available) fax number for each author; identification of corresponding author, if not the first author; an abstract of no more than 200 words; a list of keywords. Submissions must arrive by March 19, 1999, and notifications of acceptance will be sent by May 31, 1999. Authors are invited to send manuscripts by electronic mail, as uuencoded gzipped postcript files: * see the conference home page for instructions http://mozart.sip.ucm.es:1580/csl99 * or send an empty message with subject "submission information'' to csl99org@eucmos.sim.ucm.es Those authors without access to the facilities for electronic submission can alternatively submit five hardcopies to: Prof. Mario Rodriguez Artalejo, CSL'99 Departamento de Sistemas Informaticos y Programacion Facultad de Matematicas, Universidad Complutense de Madrid Av. Complutense s/n E-28040 Madrid Spain E-mail: mario@sip.ucm.es Phone: +34 1 3 94 45 12 Fax: +34 1 3 94 46 07 PUBLICATION Papers accepted by the Program Committee must be presented at the conference and will appear in a proceedings volume, to be published by Springer Verlag in the "Lecture Notes in Computer Science" series. The second refereeing round which was requested in previous CSL editions before accepting a paper for publication in the proceedings, has been suppressed following the decision taken by the EACSL membership meeting held during CSL'98 (Brno, Czech Republic, August 25th 1998). Final versions of accepted papers will be due by July 12, 1999. The format for camera-ready manuscripts will be that of Springer LNCS; instructions can be found in the LNCS home page at: http://www.springer.de/comp/lncs/index.html IMPORTANT DATES Paper submissions March 19, 1999 Notifications of acceptance May 31, 1999 Final version due: July 12, 1999 CSL'99 main conference September 20-24, 1999 CSL'99 Tutorials September 24-25, 1999 ADDITIONAL INFORMATION CSL'99 home page: http://mozart.sip.ucm.es:1580/csl99 CSL'99 local organization: csl99org@eucmos.sim.ucm.es %%%%%%%%%%%%%%%%%%%%%% LATEX VERSION %%%%%%%%%%%%%% % 2nd Call for Papers, CSL'99. % Last revision: September 24, 1998. \documentstyle{article} \oddsidemargin 6pt \evensidemargin 6pt \marginparwidth 90pt \marginparsep 10pt \topmargin -30pt \headheight 12pt \headsep 25pt \footheight 12pt \footskip 30pt \columnsep 10.5pt \columnseprule 0pt \addtolength{\oddsidemargin}{-2.3cm} \setlength{\textwidth}{20cm} %{18.7cm} \addtolength{\topmargin}{-1cm} \setlength{\textheight}{27cm} \pagestyle{empty} \begin{document} % Heading \begin{center} {\large \bf 2nd CALL FOR PAPERS -- CSL'99} \end{center} \begin{center} {\Large \bf Annual Conference of the }\\[1.5ex] {\Large \bf European Association for Computer Science Logic} \end{center} \begin{center} {\large \bf Madrid, Spain, September 20-25, 1999} \end{center} \vspace*{0.15in} % Left column \parbox[t]{6.5cm}{%6.3cm \footnotesize \noindent {\bf Program Committee:} \vspace*{0.05in} \begin{tabular}{l} Samson Abramsky (Edinburgh, UK)\\ Marc Bezem (Utrecht, The Netherlands)\\ Peter Clote (Munich, Germany)\\ Hubert Comon (Cachan, France)\\ J\"{o}rg Flum (Freiburg i.Br., Germany) \\ \hspace{1cm} ({\bf co-chair})\\ Harald Ganzinger (Saarbr\"{u}cken, Germany)\\ Neil Immerman (Amherst, USA)\\ Neil Jones (Copenhagen, Denmark)\\ Jan Maluszynski (Link\"{o}ping, Sweden)\\ Michael Maher (Brisbane, Australia)\\ Catuscia Palamidessi (Pennsylvania, USA)\\ Mario Rodr\'{\i}guez-Artalejo (Madrid, Spain) \\ \hspace{1cm} ({\bf co-chair})\\ Wolfgang Thomas (Aachen, Germany)\\ Jerzy Tiuryn (Warsaw, Poland)\\ Glynn Winskel (Aarhus, Denmark)\\ Martin Wirsing (Munich, Germany)\\ \end{tabular} \vspace*{0.10in} \noindent {\bf Invited Speakers:} \vspace*{0.05in} \begin{tabular}{l} Jos\'{e} Luis Balc\'{a}zar (Barcelona, Spain)\\ Javier Esparza (Munich, Germany)\\ Martin Grohe (Freiburg, Germany)\\ Peter D. Mosses (Aarhus, Denmark)\\ V. Vianu (San Diego, USA) \end{tabular} \vspace*{0.10in} \noindent {\bf Tutorialists:} \vspace*{0.05in} \begin{tabular}{l} Douglas Howe (Bell Labs, USA)\\ Aart Middeldorp (Tsukuba, Japan) \end{tabular} \vspace*{0.10in} \noindent {\bf Local Organizing Committee:} \vspace*{0.05in} \begin{tabular}{l} J. Carlos Gonz\'{a}lez-Moreno\\ Teresa Hortal\'{a}-Gonz\'{a}lez\\ Javier Leach-Albert ({\bf chair})\\ Paco L\'{o}pez-Fraguas\\ Fernando S\'{a}enz-P\'{e}rez\\ Eva Ull\'{a}n-Hern\'{a}ndez \end{tabular} \vspace*{0.10in} \noindent {\bf EACSL Board:} \vspace*{0.05in} \begin{tabular}{l} Marc Bezem (Utrecht, President)\\ Iain Stewart (Leicester, Vice-President)\\ Clemens Lautemann (Mainz, Treasurer)\\ Peter Hajek (Prague)\\ Simone Martini (Udine)\\ Christine Paulin (Paris)\\ Moshe Vardi (Houston)\\ Johann Makowsky (Haifa)\\ Alexander Razborov (Moscow)\\ \end{tabular} \vspace*{0.15in} \noindent {\bf EACSL homepage:} \vspace*{0.05in} \begin{tabular}{l} http://www.dimi.uniud.it/\~{}eacsl \end{tabular} \vspace*{0.15in} \noindent {\bf Important Dates:} \vspace*{0.05in} \begin{tabular}{l} Paper submissions: \\ ~~~~ March 19, 1999 \\ Notifications of acceptance: \\ ~~~~ May 31, 1999 \\ Final version due: \\ ~~~~ July 12, 1999 \\ CSL'99 main conference: \\ ~~~~ September 20-24, 1999 \\ CSL'99 Tutorials: \\ ~~~~ September 24-25, 1999 \end{tabular} } % \end{parbox} % Right column. No blank line here! \parbox[t]{5mm}{ \rule[-22.0cm]{0.2mm}{22.5cm} } %\end{parbox} \begin{minipage}[t]{11.0cm}%{11.5cm} \small {\bf Aims and Scope of the Conference:} {\bf CSL} is the annual conference of the {\em European Association for Computer Science Logic} (EACSL). The conference is intended for computer scientistswhose research activities involve logic, as well as for logicians working on issues significant for computer science. Suggested, but not exclusive, topics of interest include: abstract datatypes, automated deduction, categorical and topological approaches, concurrency theory, constructive mathematics, database theory, domain theory, finite model theory, lambda and combinatory calculi, logical aspects of computational complexity, logical foundations of programming paradigms, linear logic, modal and temporal logics, model checking, program logics and semantics, program specification, transformation and verification, rewriting, symbolic computation. \vspace*{0.12in} \noindent {\bf Scientific Programme:} In addition to invited lectures and contributed papers, there will be two tutorials on theorem proving and rewriting techniques, scheduled on September 24 afternoon (Friday) and September 25 morning (Saturday), immediately after the main conference. \vspace*{0.12in} \noindent {\bf Paper Submissions:} Submitted papers must be written in English and describe work not previously published. They must not be submitted concurrently to a journal or to another conference. Papers authored or co-authored by members of the Program Committee are not allowed. Submissions must not exceed 15 pages, including title page, figures, and references. The title page must contain: title and authors; physical and e-mail addresses; telephone and (if available) fax number for each author; identification of corresponding author, if not the first author; an abstract of no more than 200 words; a list of keywords. Submissions must arrive by {\bf March 19, 1999}, and notifications of acceptance will be sent by {\bf May 31, 1999}. Authors are invited to send manuscripts by electronic mail, as uuencoded gzipped postcript files (see the conference home page for instructions, or send an empty message with subject ``submission information'' to csl99org@eucmos.sim.ucm.es). Those authors without access to the facilities for electronic submission can alternatively submit {\em five hardcopies} to: \vspace*{0.05in} \begin{tabular}{l} Prof. Mario Rodr\'{\i}guez-Artalejo, CSL'99 \\ Departamento de Sistemas Inform\'{a}ticos y Programaci\'{o}n \\ Facultad de Matem\'{a}ticas, Universidad Complutense de Madrid \\ Av. Complutense s/n ~~~~~~~~~~ Phone: +34 1 3 94 45 12 \\ E-28040 Madrid ~~~~~~~~~~~~~~~~~ Fax: +34 1 3 94 46 07 \\ Spain ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ E-mail: mario@sip.ucm.es \end{tabular} \vspace*{0.12in} \noindent {\bf Publication:} Papers accepted by the Program Committee must be presented at the conference and {\bf will appear in a proceedings volume}, to be published by Springer Verlag in the ``Lecture Notes in Computer Science'' series. The second refereeing round which was requested in previous CSL editions before accepting a paper for publication in the proceedings, has been suppressed following the decision taken by the EACSL membership meeting held during CSL'98 (Brno, Czech Republic, August 25th 1998). Final versions of accepted papers will be due by {\bf July 12, 1999}. The format for camera-ready manuscripts will be that of Springer LNCS; instructions can be found in the LNCS home page at http://www.springer.de/comp/lncs/index.html. \vspace*{0.12in} \noindent {\bf Important Remark:} The proceedings volume will be available at the conference. In order to enable this, the deadlines for paper submission and notification of acceptance have been slightly modified w.r.t. the announcement made in the 1st call for papers. \vspace*{0.15in} \noindent {\bf Additional Information:} \vspace*{0.05in} \begin{tabular}{ll} CSL'99 home page: & http://mozart.sip.ucm.es:1580/csl99 \\ CSL'99 local organization: & E-mail: csl99org@eucmos.sim.ucm.es \end{tabular} \end{minipage} \end{document}