Mail Index - Selected Category Theory E-Mail (Jan '01 - Apr.'01)

• Thread Index

• categories: Right adjoint of internal category functor?
  • From: Jason C Reed <jcreed@andrew.cmu.edu>
• categories: Szabo's Algebra of Proofs
  • From: Todd Wilson <twilson@csufresno.edu>
• categories: Re: Szabo's Algebra of Proofs
  • From: Tom Leinster <T.Leinster@dpmms.cam.ac.uk>
• categories: preprints: higher-dimensional categories
  • From: Eugenia Cheng <elgc2@hermes.cam.ac.uk>
• categories: Resignation
  • From: "Dr. P.T. Johnstone" <P.T.Johnstone@dpmms.cam.ac.uk>
• categories: preprint : About the globular homology of higher dimensional automata (new version)
  • From: Philippe Gaucher <gaucher@irmasrv1.u-strasbg.fr>
• categories: Question
  • From: mjhealy@redwood.rt.cs.boeing.com (Michael J. Healy 425-865-3123)
• Re: categories: Question
  • From: "Joseph R. Kiniry" <kiniry@acm.org>
• categories: preprint: On the monad of proper factorisation systems in categories
  • From: grandis@dima.unige.it (Marco Grandis)
• categories: TAC Contents: Volume 7
  • From: Bob Rosebrugh <rrosebrugh@mta.ca>
• categories: preprint: Lax factorization algebras
  • From: "Walter Tholen" <tholen@mathstat.yorku.ca>
• categories: Re: Question
  • From: Dusko Pavlovic <dusko@kestrel.edu>
• Re: categories: Re: Question
  • From: mjhealy@redwood.rt.cs.boeing.com (Michael J. Healy 425-865-3123)
• categories: Michael Healy's question on math and AI
  • From: "F. William Lawvere" <wlawvere@hotmail.com>
• categories: RE: Question
  • From: S.J.Vickers@open.ac.uk
• categories: Re: Michael Healy's question on math and AI
  • From: Todd Wilson <twilson@csufresno.edu>
• categories: Re: Michael Healy's question on math and AI
  • From: Peter McBurney <petermcburney@attglobal.net>
• categories: Re: Michael Healy's question on math and AI
  • From: Michael Barr <barr@barrs.org>
• categories: Re: Michael Healy's question on math and AI
  • From: Colin McLarty <cxm7@po.cwru.edu>
• categories: Re: Michael Healy's question on math and AI
  • From: Michael Barr <barr@barrs.org>
• categories: Why binary products are ordered
  • From: Charles Wells <charles@freude.com>
• categories: Re: Michael Healy's question on math and AI
  • From: S.J.Vickers@open.ac.uk
• categories: RE: Why binary products are ordered
  • From: S.J.Vickers@open.ac.uk
• categories: Re: Michael Healy's question on math and AI
  • From: "zdiskin" <zdiskin@email.msn.com>
• categories: Re: Michael Healy's question on math and AI
  • From: John Duskin <duskin@math.buffalo.edu>
• Re: categories: RE: Why binary products are ordered
  • From: S Vickers <s.j.vickers@open.ac.uk>
• categories: CT vs ST thread
  • From: Todd Wilson <twilson@csufresno.edu>
• categories: Re: CT vs ST thread
  • From: Colin McLarty <cxm7@po.cwru.edu>
• categories: Complete atomic Boolean algebra: Reference?
  • From: Oswald Wyler <owyler@nqi.net>
• categories: ST vs CT
  • From: Giuseppe Longo <Giuseppe.Longo@ens.fr>
• categories: Some infinitesimal analysis questions
  • From: Larry Stout <lstout@sun.iwu.edu>
• categories: Re: Complete atomic Boolean algebra: Reference?
  • From: <jvoosten@math.uu.nl>
• categories: Re: Complete atomic Boolean algebra: Reference?
  • From: Dusko Pavlovic <dusko@kestrel.edu>
• categories: Re: complete atomic Boolean algebras
  • From: Marta BUNGE <bunge@scylla.math.mcgill.ca>
• categories: preprint: Quantisation of Spaces
  • From: jwpell <jwpell@yorku.ca>
• categories: Re: Why binary products are ordered
  • From: Vaughan Pratt <pratt@cs.stanford.edu>
• categories: Re: Why binary products are ordered
  • From: Michael Barr <barr@barrs.org>
• categories: Re: field and Galois theory
  • From: BORCEUX Francis <borceux@agel.ucl.ac.be>
• categories: technical question about omega-categories
  • From: Philippe Gaucher <gaucher@irmast2.u-strasbg.fr>
• categories: reference: normal categorical subgroup?
  • From: Marco Mackaay <pmzmm@maths.nottingham.ac.uk>
• categories: Inevitability of ordering products
  • From: Charles Wells <charles@freude.com>
• categories: Robin Milner
  • From: Peter Freyd <pjf@saul.cis.upenn.edu>
• categories: Re: Why binary products are ordered
  • From: Colin McLarty <cxm7@po.cwru.edu>
• categories: Re: Why binary products are ordered
  • From: "zdiskin" <zdiskin@email.msn.com>
• categories: Re: Why binary products are ordered
  • From: "zdiskin" <zdiskin@email.msn.com>
• categories: Re: Why binary products are ordered
  • From: Dusko Pavlovic <dusko@kestrel.edu>
• categories: Inevitability of ordering products
  • From: John Duskin <duskin@math.buffalo.edu>
• categories: Singleton as arbitrary
  • From: Colin McLarty <cxm7@po.cwru.edu>
• categories: Re: Inevitability of ordering products
  • From: Eduardo Dubuc <edubuc@math.uqam.ca>
• categories: Re: Inevitability of ordering products
  • From: Dusko Pavlovic <dusko@kestrel.edu>
• categories: Re: Inevitability of ordering products
  • From: James Borger <borger@math.mit.edu>
• categories: Re: Singleton as arbitrary
  • From: Dusko Pavlovic <dusko@kestrel.edu>
• categories: Re: Why binary products are ordered
  • From: Nick Rossiter <b.n.rossiter@ncl.ac.uk>
• categories: Re: Singleton as arbitrary
  • From: Colin McLarty <cxm7@po.cwru.edu>
• categories: Re: Inevitability of ordering products
  • From: Eduardo Dubuc <edubuc@math.uqam.ca>
• categories: statecharts and categories
  • From: Amiguet Matthieu <Matthieu.Amiguet@unine.ch>
• categories: queries
  • From: jim stasheff <stasheff@email.unc.edu>
• categories: Re: Unlabeled graphs
  • From: Charles Wells <charles@freude.com>
• categories: Question from Erdal Ulualan
  • From: Peter Freyd <pjf@saul.cis.upenn.edu>
• categories: field and Galois theory
  • From: "George Janelidze" <janelidze@mat.ua.pt>
• categories: Which is the simplest example?
  • From: Peter Freyd <pjf@saul.cis.upenn.edu>
• categories: Re: Which is the simplest example?
  • From: Danilov Nikita <NikitaDanilov@yahoo.com>
• categories: Re: Unlabeled graphs
  • From: Eduardo Dubuc <edubuc@math.uqam.ca>
• categories: Re: statecharts and categories
  • From: Konstantinos Tourlas <kxt@dcs.ed.ac.uk>
• categories: toposes vs. sets - another aspect
  • From: Thomas Streicher <streicher@mathematik.tu-darmstadt.de>
• categories: Book Announcement: Galois Theories
  • From: Cathy Siddiqi <csiddiqi@qmny.cup.org>
• No Subject
  • From: Anonymous
• categories: Re: Mike Healy's question about AI and math
  • From: "zdiskin" <zdiskin@email.msn.com>
• categories: connectedness/intuitionistic logic
  • From: paolo torrini <paolot@comp.leeds.ac.uk>
• categories: preprint : The branching nerve of HDA and the Kan condition
  • From: Philippe Gaucher <gaucher@irmast2.u-strasbg.fr>
• categories: How do Cross-Category Results Relate to Category Theory? - Doctorow
  • From: "Osher Doctorow" <osher@ix.netcom.com>
• categories: question about symmetric monoidal categories
  • From: Gaunce Lewis <lglewis@syr.edu>
• categories: Looking for adjoints
  • From: Jean-Pierre Marquis <Jean-Pierre.Marquis@UMontreal.CA>
• categories: Re: Looking for adjoints
  • From: Paul Taylor <pt@dcs.qmw.ac.uk>
• categories: Re: Looking for adjoints
  • From: "Derek Ross" <math@antiquark.com>
• categories: Probability Theory
  • From: Steve Stevenson <steve@cs.clemson.edu>
• categories: Re: Looking for adjoints
  • From: Michael Barr <barr@barrs.org>
• categories: Re: Probability Theory
  • From: mjhealy@redwood.rt.cs.boeing.com (Michael Healy 425-865-3123)
• categories: Re: Looking for adjoints
  • From: Tom Leinster <T.Leinster@dpmms.cam.ac.uk>
• categories: Re: Probability Theory
  • From: "Amilcar Sernadas" <acs@math.ist.utl.pt>
• categories: strict n-categories, equivalences
  • From: david carlton <carlton@math.stanford.edu>
• categories: Re: Looking for adjoints
  • From: Michael Batanin <mbatanin@ics.mq.edu.au>
• categories: Terminology
  • From: Krzysztof Worytkiewicz <worytkie@di.epfl.ch>
• categories: A universal characterization of the unit interval
  • From: Martin Escardo <m.escardo@cs.bham.ac.uk>
• categories: Beta version of new diagram package
  • From: Michael Barr <barr@barrs.org>
• categories: documentation for new diagram package
  • From: Michael Barr <barr@barrs.org>
• categories: ECT and computer science
  • From: "V. Schmitt" <vs27@mcs.le.ac.uk>
• categories: Category Theory and Hereditarily-Finite Sets
  • From: Galchin Vasili <vngalchin@yahoo.com>
• categories: Re: Category Theory and Hereditarily-Finite Sets
  • From: Paul Taylor <pt@dcs.qmw.ac.uk>
• categories: groupoids
  • From: Dan Laksov <laksov@math.kth.se>
• categories: Re: Category Theory and Hereditarily-Finite Sets
  • From: Wilkins E B <elwood@essex.ac.uk>
• categories: diagxy.tex
  • From: Michael Barr <barr@barrs.org>
• categories: diaxydoc.tex
  • From: Michael Barr <barr@barrs.org>
• categories: Hausdorff's book
  • From: Paul Taylor <pt@dcs.qmw.ac.uk>
• categories: preprint: Some differential equations in Synthetic Differential Geometry
  • From: Gonzalo Reyes <reyes@ESI.UMontreal.CA>
• categories: Kleisli and colimits
  • From: Tom Leinster <T.Leinster@dpmms.cam.ac.uk>
• categories: Re: Kleisli and colimits
  • From: Carsten Fuhrmann <C.Fuhrmann@cs.bham.ac.uk>
• categories: Extension of natural transformations
  • From: Per <perj@mat-stat.uit.no>
• categories: GETCO 2001 : 2nd Call for papers
  • From: Philippe Gaucher <gaucher@math.u-strasbg.fr>
• categories: Abelian Topological Groups
  • From: Bill Rowan <rowan@transbay.net>