Mail Index - Selected Category Theory E-Mail (May '01 - Aug.'01)

• Thread Index

• categories: Abelian Topological Groups
  • From: Bill Rowan <rowan@transbay.net>
• categories: Re: Abelian Topological Groups
  • From: Michael Barr <barr@barrs.org>
• categories: diaxydoc.tex
  • From: Michael Barr <barr@barrs.org>
• categories: diagxy.tex, final version
  • From: Michael Barr <barr@barrs.org>
• categories: Limits
  • From: Tobias Schroeder <tschroed@Mathematik.Uni-Marburg.de>
• categories: Re: Limits
  • From: Peter Freyd <pjf@saul.cis.upenn.edu>
• categories: Re: Limits
  • From: Andrej Bauer <Andrej.Bauer@andrej.com>
• categories: re: Limits
  • From: Martin Escardo <m.escardo@cs.bham.ac.uk>
• categories: Re: Limits
  • From: Dusko Pavlovic <dusko@kestrel.edu>
• categories: pullbacks of local operators
  • From: "Dr. P.T. Johnstone" <P.T.Johnstone@dpmms.cam.ac.uk>
• categories: Re: Limits
  • From: jdolan@math.ucr.edu
• categories: Re: diaxydoc.tex
  • From: Michael Barr <barr@barrs.org>
• categories: Please help set up course
  • From: Steve Stevenson <steve@cs.clemson.edu>
• categories: Re: Limits
  • From: jdolan@math.ucr.edu
• categories: Re: Limits
  • From: jim stasheff <stasheff@email.unc.edu>
• categories: Re: Limits
  • From: Ross Street <street@ics.mq.edu.au>
• categories: preprint : Investigating The Algebraic Structure of Dihomotopy Types
  • From: Philippe Gaucher <gaucher@math.u-strasbg.fr>
• categories: connected functors
  • From: Jiri Adamek <adamek@iti.cs.tu-bs.de>
• categories: Re: Please help set up course
  • From: maxk@maths.usyd.edu.au (Max Kelly)
• categories: Final version of diagxy
  • From: Michael Barr <barr@barrs.org>
• categories: Re: Limits
  • From: Dusko Pavlovic <dusko@kestrel.edu>
• categories: question about enriched category theory
  • From: Gaunce Lewis <lglewis@syr.edu>
• categories: preprint: Ordered PCA's and Realizability Toposes
  • From: <jvoosten@math.uu.nl>
• categories: preprint: Left-determined model categories and universal homotopy theories
  • From: rosicky@math.muni.cz (Jiri Rosicky)
• categories: Re: Limits
  • From: "Paul H Palmquist" <phpalmquist@west.raytheon.com>
• categories: An application
  • From: mjhealy@redwood.rt.cs.boeing.com (Michael Healy 425-865-3123)
• categories: Structure Preserving: Definition?
  • From: <math@antiquark.com>
• categories: Re: Structure Preserving: Definition?
  • From: Charles Wells <charles@freude.com>
• categories: Wells's reply
  • From: Michael Barr <barr@barrs.org>
• categories: Re: Structure Preserving: Definition?
  • From: Barry Jay <cbj@it.uts.edu.au>
• categories: Intervals as a Model of Real Type
  • From: "regivan" <regivan@dimap.ufrn.br>
• categories: connected functors and pseudoepis
  • From: Jiri Adamek <adamek@iti.cs.tu-bs.de>
• categories: Re: Pro C
  • From: "Dr. P.T. Johnstone" <P.T.Johnstone@dpmms.cam.ac.uk>
• categories: Re: Pro C
  • From: William Boshuck <boshuk@triples.math.mcgill.ca>
• categories: Re: Pro C
  • From: "Prof. T.Porter" <t.porter@bangor.ac.uk>
• categories: Re: Pro C
  • From: Dan Isaksen <disaksen@darwin.helios.nd.edu>
• categories: graph term rewriting
  • From: "Bill Halchin" <bhalchin@hotmail.com>
• categories: re: graph term rewriting
  • From: Konstantinos Tourlas <kxt@dcs.ed.ac.uk>
• categories: Re: graph term rewriting
  • From: Frank Atanassow <franka@cs.uu.nl>
• categories: co-iteration?
  • From: "Al Vilcius" <avilcius@webpearls.com>
• categories: Re: co-iteration?
  • From: "Lengyel, Florian" <FLENGYEL@gc.cuny.edu>
• categories: Re: co-iteration?
  • From: Peter Selinger <selinger@theory.stanford.edu>
• categories: Re: co-iteration?
  • From: Dusko Pavlovic <dusko@kestrel.edu>
• categories: iteration vs. recursion
  • From: Stephen Bloom <bloom@guinness.cs.stevens-tech.edu>
• categories: Announcing new list: The Xy-pic discussion list
  • From: Richard Dybowski <rdybowski@btinternet.com>
• categories: Re: Pro C
  • From: rosicky@math.muni.cz (Jiri Rosicky)
• categories: Re: iteration vs. recursion
  • From: HASEGAWA Masahito <mhas@dcs.ed.ac.uk>
• categories: omega-completions
  • From: Steve Lack <stevel@maths.usyd.edu.au>
• categories: symmetry vs. duality
  • From: "Al Vilcius" <avilcius@webpearls.com>
• categories: Call-By-Push-Value thesis available
  • From: Paul Levy <pbl@cs.bu.edu>
• categories: Chu spaces vs Topoi (and maybe Stone Spaces)
  • From: Galchin Vasili <vngalchin@yahoo.com>
• categories: Re: Chu spaces vs Toposes (and maybe Stone Spaces)
  • From: Vaughan Pratt <pratt@cs.stanford.edu>
• categories: Re: Chu spaces vs Topoi (and maybe Stone Spaces)
  • From: Michael Barr <barr@barrs.org>
• categories: Re: Chu spaces vs Topoi (and maybe Stone Spaces)
  • From: S.J.Vickers@open.ac.uk
• categories: Re: Embedability
  • From: Peter Freyd <pjf@saul.cis.upenn.edu>
• categories: Re: Embedability
  • From: "Ronald Brown" <Ronnie.Brown@tesco.net>
• categories: Alternative characterisation of 'flat sublocale' wanted
  • From: "Christopher Townsend" <cft71@hotmail.com>
• categories: preprint: survey of definitions of n-category
  • From: Tom Leinster <T.Leinster@dpmms.cam.ac.uk>
• categories: Re: A request for two references....
  • From: "Robert E. Kent" <rekent@ontologos.org>
• categories: Re: A request for two references....
  • From: Barry Jay <cbj@it.uts.edu.au>
• categories: Responses to my two questions. (Revised)
  • From: Steve Stevenson <steve@cs.clemson.edu>
• categories: charact. of absolute equalisers
  • From: Martin Hofmann <mhofmann@mathematik.tu-darmstadt.de>
• categories: Re: charact. of absolute equalisers
  • From: Michael Barr <barr@barrs.org>
• categories: Re: charact. of absolute equalisers
  • From: pare@mscs.cs.dal.ca (Robert Pare)
• categories: Re: charact. of absolute equalisers
  • From: Ross Street <street@ics.mq.edu.au>
• categories: Re: Downloadable Topos tutorial??
  • From: Michael Barr <barr@barrs.org>
• Re: categories: Downloadable Topos tutorial??
  • From: Frank Atanassow <franka@cs.uu.nl>
• categories: Subclassifier object question
  • From: Galchin Vasili <vngalchin@yahoo.com>
• categories: Re: Subclassifier object question
  • From: Vaughan Pratt <pratt@cs.stanford.edu>
• categories: Re: Subclassifier object question
  • From: Paul Taylor <pt@dcs.qmw.ac.uk>
• categories: sum of pointed sets.
  • From: peter_easthope@gulfnet.sd64.bc.ca
• categories: Re: Downloadable Topos tutorial??
  • From: Frank Atanassow <franka@cs.uu.nl>
• categories: "catamorphism"
  • From: Frank Atanassow <franka@cs.uu.nl>
• categories: Re: "catamorphism"
  • From: Jeremy Gibbons <Jeremy.Gibbons@comlab.ox.ac.uk>
• categories: Re: sum of pointed sets.
  • From: "F. William Lawvere" <wlawvere@hotmail.com>
• categories: Clarifying the classifier
  • From: Categories List <cat-dist@mta.ca>"F. William Lawvere" <wlawvere@hotmail.com>
• categories: Modules in a topos
  • From: Michael Barr <barr@barrs.org>
• categories: the alpha of Omega
  • From: "Keith Harbaugh" <harbaugh_keith@hotmail.com>
• categories: Re: the alpha of Omega
  • From: S Vickers <s.j.vickers@open.ac.uk>