Mail Index - Selected Category Theory E-Mail (Sep. '01 - Dec.'01)

• Thread Index

• categories: Re: the alpha of Omega
  • From: John Duskin <duskin@math.buffalo.edu>
• categories: Re: the alpha of Omega
  • From: Colin McLarty <cxm7@po.cwru.edu>
• categories: injective modules in a topos
  • From: Michael Barr <barr@barrs.org>
• categories: Re: the alpha of Omega
  • From: "F. William Lawvere" <wlawvere@hotmail.com>
• categories: Re: injective modules in a topos
  • From: Paul Taylor <pt@dcs.qmw.ac.uk>
• categories: Vector lattices
  • From: Jean-Pierre Cotton <cotton@ensae.fr>
• categories: quantum cats
  • From: "Al Vilcius" <avilcius@webpearls.com>
• categories: quantum cats
  • From: baez@math.ucr.edu
• No Subject
  • From: Anonymous
• categories: RFC Walters "Categories and Computer Science"
  • From: Galchin Vasili <vngalchin@yahoo.com>
• categories: Tangle, Braid... related category?
  • From: Jules Bean <jules@jellybean.co.uk>
• categories: Re: Tangle, Braid... related category?
  • From: Duraid Madina <duraid@fl.net.au>
• categories: Re: Tangle, Braid... related category?
  • From: Tom Leinster <T.Leinster@dpmms.cam.ac.uk>
• categories: Re: RFC Walters "Categories and Computer Science"
  • From: S Vickers <s.j.vickers@open.ac.uk>
• categories: Re: RFC Walters "Categories and Computer Science"
  • From: Galchin Vasili <vngalchin@yahoo.com>
• categories: re: Tangle, Braid... related category?
  • From: baez@math.ucr.edu
• categories: Re: categories or graphs?
  • From: "Dr. P.T. Johnstone" <P.T.Johnstone@dpmms.cam.ac.uk>
• categories: Re: Tangle, Braid... related category?
  • From: Joachim Kock <kock@math.unice.fr>
• categories: re: Tangle, Braid... related category?
  • From: Tom Leinster <T.Leinster@dpmms.cam.ac.uk>
• categories: Re: categories or graphs?
  • From: S Vickers <s.j.vickers@open.ac.uk>
• categories: Re: categories or graphs?
  • From: Ronnie Brown <mas010@bangor.ac.uk>
• categories: Linear Monads (Was Re: Tangle, Braid... related category?)
  • From: "Robert A.G. Seely" <rags@math.mcgill.ca>
• categories: Re: categories or graphs?
  • From: Paul Taylor <pt@dcs.qmw.ac.uk>
• categories: re: Tangle, Braid... related category?
  • From: Jules Bean <jules@jellybean.co.uk>
• categories: preprint: "Ordinary and directed combinatorial homotopy,..."
  • From: grandis@dima.unige.it (Marco Grandis)
• categories: Is Set lfp, intuitionistically?
  • From: Michael Abbott <Michael@RCP.co.uk>
• categories: Only two SMC structures on Cat?
  • From: Jason C Reed <jcreed@andrew.cmu.edu>
• categories: Re: Only two SMC structures on Cat?
  • From: Steve Lack <stevel@maths.usyd.edu.au>
• categories: Re: Is Set lfp, intuitionistically?
  • From: "Dr. P.T. Johnstone" <P.T.Johnstone@dpmms.cam.ac.uk>
• categories: is Set LFP?
  • From: Paul Taylor <pt@dcs.qmw.ac.uk>
• categories: Re: is Set LFP?
  • From: Mamuka Jibladze <jib@rmi.acnet.ge>
• No Subject
  • From: cat-dist@mta.ca
• Re: categories: Re: is Set LFP?
  • From: Paul Taylor <pt@dcs.qmw.ac.uk>
• categories: Abstract Stone Duality - manifesto and draft paper
  • From: Paul Taylor <pt@dcs.qmw.ac.uk>
• categories: Re: Abstract Stone Duality - manifesto and draft pape r
  • From: S.J.Vickers@open.ac.uk
• categories: just an addendum on bimonoids
  • From: Roberto Bruni <bruni@di.unipi.it>
• categories: preprint: Elements of stream calculus
  • From: Jan Rutten <Jan.Rutten@cwi.nl>
• categories: Computing with Category Theory
  • From: Saul Youssef <youssef@bu.edu>
• categories: Re: Computing with Category Theory
  • From: Phil Scott <phil@mathstat.uottawa.ca>
• categories: Re: Computing with Category Theory
  • From: Barry Jay <cbj@it.uts.edu.au>
• categories: Re: Computing with Category Theory
  • From: Saul Youssef <youssef@bu.edu>
• categories: Re: Computing with Category Theory
  • From: Jason C Reed <jcreed@andrew.cmu.edu>
• categories: Re: Computing with Category Theory
  • From: mjhealy@redwood.rt.cs.boeing.com (Michael Healy 425-865-3123)
• categories: Relations, Functions, Operations.
  • From: WMorris@mhs-net.com
• categories: Subobject classifier and non-classical logic (intuistionistic)
  • From: Galchin Vasili <vngalchin@yahoo.com>
• categories: Re: Subobject classifier and non-classical logic (intuistionistic)
  • From: Toby Bartels <toby@math.ucr.edu>
• categories: embeddability
  • From: Ronnie Brown <mas010@bangor.ac.uk>
• categories: Weighted limits
  • From: Mark Hovey <hovey@picard.math.wesleyan.edu>
• categories: preprint: 'Directed homotopy theory, I'
  • From: grandis@dima.unige.it (Marco Grandis)
• categories: booby on embedability
  • From: Ronnie Brown <mas010@bangor.ac.uk>
• categories: query
  • From: "Williamson, Keith" <keith.williamson@boeing.com>
• categories: Open maps of locales
  • From: Walter Tholen <tholen@mathstat.yorku.ca>
• Re: categories: Weighted limits
  • From: Max Kelly <maxk@maths.usyd.edu.au>
• Re: categories: Weighted limits
  • From: "Keith Harbaugh" <harbaugh_keith@hotmail.com>
• categories: Re: query
  • From: Dusko Pavlovic <dusko@kestrel.edu>
• categories: Topoi, Heyting algebra and Lawvevre's CAT book
  • From: Galchin Vasili <vngalchin@yahoo.com>
• categories: Re: Open maps of locales
  • From: "Dr. P.T. Johnstone" <P.T.Johnstone@dpmms.cam.ac.uk>
• [no subject]
  • From: cat-dist@mta.ca
• categories: weighted limits
  • From: Steve Lack <stevel@maths.usyd.edu.au>
• categories: Nonsymmetric closed categories
  • From: Bill Rowan <rowan@transbay.net>
• categories: category theory applied to computer security
  • From: Max Kelly <maxk@maths.usyd.edu.au>
• categories: nice category of "smooth spaces"?
  • From: baez@math.ucr.edu
• Re: categories: nice category of "smooth spaces"?
  • From: Eduardo Dubuc <edubuc@dm.uba.ar>
• categories: pullbacks of toposes
  • From: Steve Lack <stevel@maths.usyd.edu.au>
• categories: Coalgebras and Modal Logic
  • From: Alexander Kurz <Alexander.Kurz@cwi.nl>
• categories: Re: pullbacks of toposes
  • From: "Dr. P.T. Johnstone" <P.T.Johnstone@dpmms.cam.ac.uk>
• categories: Re: nice category of "smooth spaces"?
  • From: Andree Ehresmann <Andree.Ehresmann@u-picardie.fr>
• categories: Operads
  • From: S.J.Vickers@open.ac.uk
• categories: Re: Operads
  • From: Tom Leinster <T.Leinster@dpmms.cam.ac.uk>
• categories: Re: Operads
  • From: baez@math.ucr.edu
• categories: 30th Spring School Theorical Computer Science - Early Registration
  • From: ecole@pps.jussieu.fr (Ecole d'ete 2001)
• categories: adjoint equivalence
  • From: Paul LEVY <levy@pps.jussieu.fr>
• categories: Re: adjoint equivalence
  • From: Ross Street <street@ics.mq.edu.au>
• categories: re: adjoint equivalence
  • From: baez@math.ucr.edu
• categories: Open maps of locales
  • From: "Dr. P.T. Johnstone" <P.T.Johnstone@dpmms.cam.ac.uk>
• categories: About internal 1-categories
  • From: Philippe Gaucher <gaucher@math.u-strasbg.fr>
• categories: Re: adjoint equivalence
  • From: Paul LEVY <levy@pps.jussieu.fr>
• categories: Characterizing FinSet up to equivalence
  • From: Vaughan Pratt <pratt@cs.stanford.edu>
• categories: alg-coalg duality
  • From: Al Vilcius <al.r@vilcius.com>
• categories: Exact adjunctions
  • From: grandis@dima.unige.it (Marco Grandis)
• categories: Re: adjoint equivalence
  • From: Paul LEVY <levy@pps.jussieu.fr>
• categories: Re: Exact adjunctions
  • From: "Dr. P.T. Johnstone" <P.T.Johnstone@dpmms.cam.ac.uk>
• categories: Re: Characterizing FinSet up to equivalence
  • From: S Vickers <s.j.vickers@open.ac.uk>
• categories: Re: Exact adjunctions
  • From: Dusko Pavlovic <dusko@kestrel.edu>
• categories: k-spaces and Hurewicz
  • From: F W Lawvere <wlawvere@acsu.buffalo.edu>
• categories: Re: Exact adjunctions
  • From: Jules Bean <jules@jellybean.co.uk>
• categories: re: Exact adjunctions
  • From: "Walter Tholen" <tholen@pascal.math.yorku.ca>
• categories: Cartesian closed categories of internal categories
  • From: Andree Ehresmann <Andree.Ehresmann@u-picardie.fr>
• categories: Characterizing FinSet up to equivalence
  • From: baez@math.ucr.edu
• categories: Re: Characterizing FinSet up to equivalence
  • From: Vaughan Pratt <pratt@cs.stanford.edu>
• categories: Re: Characterizing FinSet up to equivalence
  • From: Peter Selinger <selinger@mathstat.uottawa.ca>
• categories: Re: Characterizing FinSet up to equivalence
  • From: S.J.Vickers@open.ac.uk
• categories: Re: Characterizing FinSet up to equivalence
  • From: Boerger <Reinhard.Boerger@FernUni-Hagen.de>
• categories: adjoint equivalence
  • From: baez@math.ucr.edu
• categories: Re: Characterizing FinSet up to equivalence
  • From: Toby Bartels <toby@math.ucr.edu>
• categories: Re: Characterizing FinSet up to equivalence
  • From: Toby Bartels <toby@math.ucr.edu>
• categories: preprint: A new paper on locales and powerlocales
  • From: S.J.Vickers@open.ac.uk
• categories: distributive(``bicartesian'' categories)
  • From: Steve Lack <stevel@maths.usyd.edu.au>
• categories: free-living/platonic/walking equivalences and adjunctions
  • From: Steve Lack <stevel@maths.usyd.edu.au>
• categories: Re: Characterizing FinSet up to equivale
  • From: Boerger <Reinhard.Boerger@FernUni-Hagen.de>
• categories: free-living/platonic/walking equivalences and adjunctions
  • From: baez@math.ucr.edu
• categories: Re: alg-coalg duality
  • From: Jiri Adamek <adamek@iti.cs.tu-bs.de>
• categories: the walking adjunction and biadjunction
  • From: baez@math.ucr.edu
• [no subject]
  • From: Unknown
• Re: categories: Re: Characterizing FinSet up to equivalence (fwd)
  • From: Vaughan Pratt <pratt@cs.stanford.edu>
• categories: Re: Characterizing FinSet up to equivale
  • From: S Vickers <s.j.vickers@open.ac.uk>
• categories: Re: the walking adjunction and biadjunction
  • From: Oswald Wyler <owyler@suscom-maine.net>
• categories: Re: the walking adjunction and biadjunction
  • From: jdolan@math.ucr.edu
• categories: Re: the walking adjunction and biadjunction
  • From: Steve Lack <stevel@maths.usyd.edu.au>
• categories: Re: the walking adjunction and biadjunction
  • From: Andree Ehresmann <Andree.Ehresmann@u-picardie.fr>
• categories: representing adjunctions
  • From: F W Lawvere <wlawvere@acsu.buffalo.edu>
• categories: Re: the walking adjunction and biadjunction
  • From: Toby Bartels <toby@math.ucr.edu>
• categories: Galois and Hopf 2002
  • From: Walter Tholen <tholen@mathstat.yorku.ca>
• categories: Sketches and Platonic Ideas
  • From: baez@math.ucr.edu
• categories: Re: the walking adjunction and biadjunction
  • From: Tom Leinster <T.Leinster@dpmms.cam.ac.uk>
• categories: Re: Sketches and Platonic Ideas
  • From: Michael Barr <barr@barrs.org>
• categories: Re: Sketches and Platonic Ideas
  • From: "F. William Lawvere" <wlawvere@hotmail.com>
• categories: Sketches and ideas (Was: the walking adjunction and biadjunction)
  • From: Toby Bartels <toby@math.ucr.edu>
• categories: Sketches
  • From: Charles Wells <charles@freude.com>
• categories: Reference wanted
  • From: Oswald Wyler <owyler@suscom-maine.net>
• categories: Two Days
  • From: Colin McLarty <cxm7@po.cwru.edu>
• categories: Why exact categories? history
  • From: Colin McLarty <cxm7@po.cwru.edu>
• categories: Defining monoids
  • From: Charles Wells <charles@freude.com>
• categories: Two constructivity questions
  • From: S.J.Vickers@open.ac.uk
• categories: Re: Two Days
  • From: Michael Barr <barr@barrs.org>
• categories: Re: Two constructivity questions
  • From: "Dr. P.T. Johnstone" <P.T.Johnstone@dpmms.cam.ac.uk>
• categories: Re: Two constructivity questions
  • From: S Vickers <s.j.vickers@open.ac.uk>
• categories: Constructive finiteness
  • From: "Dr. P.T. Johnstone" <P.T.Johnstone@dpmms.cam.ac.uk>
• categories: Re: Defining monoids
  • From: JAMES STASHEFF <stasheff@email.unc.edu>
• categories: Do catgory theorists like philosophy?
  • From: Toby Bartels <toby@math.ucr.edu>
• categories: infinite trees
  • From: Jiri Adamek <adamek@iti.cs.tu-bs.de>
• preprint: Multiple categories: the equivalence of a globular anda cubical approach
  • From: Ronnie Brown <mas010@bangor.ac.uk>
• categories: multigaphs/categories and constructivism
  • From: Galchin Vasili <vngalchin@yahoo.com>
• [no subject]
  • From: cat-dist@mta.ca
• [no subject]
  • From: cat-dist@mta.ca
• categories: Re: language and thinking
  • From: Charles Wells <charles@freude.com>
• categories: Re: language and thinking
  • From: S.J.Vickers@open.ac.uk
• categories: Categories and cognition
  • From: Andree Ehresmann <Andree.Ehresmann@u-picardie.fr>
• categories: Two categories or 2-categories?
  • From: Peter Freyd <pjf@saul.cis.upenn.edu>
• categories: Enriched locally presentable categories
  • From: Mark Hovey <hovey@picard.math.wesleyan.edu>
• categories: Re: Two categories or 2-categories?
  • From: maxk@maths.usyd.edu.au (Max Kelly)
• categories: New address: RFC Walters
  • From: "RFC Walters" <robert.walters@uninsubria.it>
• categories: Re: Enriched locally presentable categories
  • From: maxk@maths.usyd.edu.au (Max Kelly)