Category theory:
AMS
talk: Category Theory, Symbolic Dynamics, and Upredictability:
Special Session on Discrete Dynamics and Difference Equations;
Joint Meetings; 18 January, 2003
Thesis defense: 29 August, 2002 at
Urbana, Illinois
Freshman seminar: 28 February, 2001
at the University of Dallas
Seminar: 7 February, 2001 at Rose-Hulman
Categories
Mail from Category Theory List
Algebraic
Topology Discussion
List
The British
Topology Home Page
Hopf Topology
Archive
K-theory Preprint
Archives
Homology, Homotopy
and Applications
Computational
Category theory
Systemes Evolutifs a Memoire
Cahiers
de Topologie
et Geometrie Differentielle Categoriques
CASYS
Category Theory Database Tools
Theory and Applications
of Categories
Applied Categorical Structures
Journal of Pure and Applied Algebra
Electronic notes in theoretical computer science
Algebraic
Set Theory
Logical Methods in
Computer Science
Triples
Foundations Book by
Paul Taylor
Kestrel
Stanford CS Theory Division
Penn
Samson Abramsky
Jiri Adamek
Michael Arbib
Zekeriya Arvasi
Steve Awodey
John Baez
T. O. Banakh
Michael Barr
Michael Batanin
Richard Blute
Reinhard Börger
Ronald Brown
Manuel Bullejos
Marta Bunge
Carsten Butz
Robin Cockett
Thierry Coquand
Sjoerd E. Crans
John Duskin
Peter Dybjer
Marcelo Fiore
Michael Fourman
Jonathan Funk
Robbie Gates
Joseph Goguen
Marco Grandis
John W. Gray
Carl Gunter
Mark Hale
Claudio Hermida
Anne Heyworth
Graham Hutton
J. M. E. Hyland
John Isbell
Bart Jacobs
semantics of computation
Aaron D. Jaggard
Barry Jay: shape theory
Michael Johnson
Peter Johnstone
Andre Joyal
Anders Kock (old site)
Anders Kock
Jürgen Koslowski
Steve Lack
F. W. Lawvere
Buffalo course
Giuseppe Longo
Michael Makkai
Paddy McCrudden
Ieke Moerdijk
Philip Mulry
Christopher J. Mulvey
Susan Niefield
Prakash Panangaden
Robert Pare
Petri Nets
Jorge Picado
Andrew Pitts
Till Plewe
Hans Porst
Tim Porter
Vaughan Pratt
Gonzalo E. Reyes
Robert Rosebrugh
Jirí Rosický
Giuseppe Rosolini
Nick Rossiter: Relational Databases
David E. Rydeheard
Andre Scedrov
Stephen
Schanuel
Philip J. Scott
Robert A. G. Seely
Peter Selinger
Lourdes Sousa
James Stasheff
Lawrence Neff Stout
Ross Street
Paul Taylor
Walter Tholen
Steve Vickers
George Voutsadakis
R. F. C. Walters
(Sydney)
R. F. C. Walters
(Como)
Farn Wang: Computer Science
Charles
Wells
Richard J. Wood
Noson S. Yanofsky
Gavin C. Wraith
Maude
Categories, Types, and Structures
State Graph Manipulator
Emergence paper by Baas and Emmeche
Emergence Abstract by Chandler