Mail Thread Index - Selected Category Theory E-Mail
(Jan. '01 - Apr.'01)
- categories: Right adjoint of internal category functor?,
Jason C Reed
- categories: Szabo's Algebra of Proofs,
Todd Wilson
- categories: preprints: higher-dimensional categories,
Eugenia Cheng
- categories: Resignation,
Dr. P.T. Johnstone
- categories: preprint : About the globular homology of higher dimensional automata (new version),
Philippe Gaucher
- categories: Question,
Michael J. Healy 425-865-3123
- categories: preprint: On the monad of proper factorisation systems in categories,
Marco Grandis
- categories: TAC Contents: Volume 7,
Bob Rosebrugh
- categories: preprint: Lax factorization algebras,
Walter Tholen
- Re: categories: Re: Question,
Michael J. Healy 425-865-3123
- categories: Michael Healy's question on math and AI,
F. William Lawvere
- categories: Re: Michael Healy's question on math and AI,
Peter McBurney
- categories: Why binary products are ordered,
Charles Wells
- categories: RE: Why binary products are ordered,
S.J.Vickers
- categories: CT vs ST thread,
Todd Wilson
- categories: Complete atomic Boolean algebra: Reference?,
Oswald Wyler
- categories: ST vs CT,
Giuseppe Longo
- categories: Some infinitesimal analysis questions,
Larry Stout
- categories: Re: Complete atomic Boolean algebra: Reference?,
jvoosten
- categories: Re: complete atomic Boolean algebras,
Marta BUNGE
- categories: preprint: Quantisation of Spaces,
jwpell
- categories: Re: field and Galois theory,
BORCEUX Francis
- categories: technical question about omega-categories,
Philippe Gaucher
- categories: reference: normal categorical subgroup?,
Marco Mackaay
- categories: Inevitability of ordering products,
Charles Wells
- categories: Robin Milner,
Peter Freyd
- categories: Re: Singleton as arbitrary,
Colin McLarty
- categories: statecharts and categories,
Amiguet Matthieu
- categories: queries,
jim stasheff
- categories: Question from Erdal Ulualan,
Peter Freyd
- categories: field and Galois theory,
George Janelidze
- categories: Which is the simplest example?,
Peter Freyd
- categories: toposes vs. sets - another aspect,
Thomas Streicher
- categories: Book Announcement: Galois Theories,
Cathy Siddiqi
- No Subject,
Anonymous
- categories: Re: Mike Healy's question about AI and math,
zdiskin
- categories: connectedness/intuitionistic logic,
paolo torrini
- categories: preprint : The branching nerve of HDA and the Kan condition,
Philippe Gaucher
- categories: How do Cross-Category Results Relate to Category Theory? - Doctorow,
Osher Doctorow
- categories: question about symmetric monoidal categories,
Gaunce Lewis
- categories: Looking for adjoints,
Jean-Pierre Marquis
- categories: Re: Looking for adjoints,
Paul Taylor
- categories: Probability Theory,
Steve Stevenson
- categories: Re: Probability Theory,
Michael Healy 425-865-3123
- categories: strict n-categories, equivalences,
david carlton
- categories: Terminology,
Krzysztof Worytkiewicz
- categories: A universal characterization of the unit interval,
Martin Escardo
- categories: Beta version of new diagram package,
Michael Barr
- categories: documentation for new diagram package,
Michael Barr
- categories: ECT and computer science,
V. Schmitt
- categories: Category Theory and Hereditarily-Finite Sets,
Galchin Vasili
- categories: Re: Category Theory and Hereditarily-Finite Sets,
Paul Taylor
- categories: groupoids,
Dan Laksov
- categories: diagxy.tex,
Michael Barr
- categories: diaxydoc.tex,
Michael Barr
- categories: Hausdorff's book,
Paul Taylor
- categories: preprint: Some differential equations in Synthetic Differential Geometry,
Gonzalo Reyes
- categories: Kleisli and colimits,
Tom Leinster
- categories: Extension of natural transformations,
Per
- categories: GETCO 2001 : 2nd Call for papers,
Philippe Gaucher
- categories:
Abelian Topological Groups , Bill Rowan
Mail converted by MHonArc 2.4.0