School on Logic and Computation
1999-02-06 11:56 UTC
higher-dimensional algebra and Planck-scale physics
1999-02-06 1:26 UTC
CT99 - Second Announcement
1999-02-05 19:18 UTC
no coherence assumptions
1999-02-05 19:03 UTC
TLCA'99 Call for Participation (Text & LaTex versions)
1999-02-05 10:06 UTC
coherence
1999-02-04 2:11 UTC
Reading advice
1999-02-03 7:33 UTC (2+ messages)
Positions at Chalmers, Gothenburg, Sweden
1999-02-02 13:30 UTC
my earlier comments on certain limits in algebras for a 2-category
1999-02-01 13:25 UTC
SGM GUI v1.2 Released
1999-02-01 10:37 UTC
CFP: PDPTA-99 Codesign Session
1999-02-01 8:23 UTC (2+ messages)
` PSI99 submission deadline extension
Artin glueing et cetera; comments of Barr, Jay, Crole, and Johnstone
1999-02-01 6:55 UTC
Reading advise on bicategory theory
1999-02-01 1:28 UTC
paper announcement
1999-02-01 0:00 UTC
Reading advise on bicategory theory
1999-01-31 15:20 UTC (2+ messages)
Pullback perserving functor
1999-01-29 15:35 UTC (3+ messages)
` Pullback preserving functor
Barry Jay's question
1999-01-29 13:08 UTC
Generalized Enrichment
1999-01-29 12:29 UTC
Conference Announcement BCTCS 15
1999-01-29 10:46 UTC
Maude 1.00 Release
1999-01-29 1:17 UTC
two questions about universal quantification
1999-01-28 9:45 UTC (3+ messages)
PSSL 70 -- Second Announcement
1999-01-27 15:29 UTC
May 3-7, 1999: Summer School in Semantics of Computation
1999-01-25 22:48 UTC
new mail address
1999-01-25 8:30 UTC
Juergen's question
1999-01-25 8:11 UTC (2+ messages)
SGM v1.1 Released
1999-01-22 0:57 UTC
Inquiry - Manhattan Street Problem
1999-01-21 22:27 UTC
first reference to "dualizing object"?
1999-01-20 20:07 UTC (2+ messages)
TAC 1998 contents
1999-01-20 18:56 UTC
Paper Announcement
1999-01-20 12:28 UTC
Memorial
1999-01-19 21:21 UTC
CSL'99 3rd CFP (Text & LaTex versions)
1999-01-18 7:07 UTC
Lectureships in Computer Science
1999-01-13 18:20 UTC
categorical geometry
1999-01-12 17:32 UTC
AP on young Myles
1999-01-12 12:05 UTC
6th WoLLIC'99 - 3rd Call
1999-01-11 20:18 UTC
Terrible news -- young Myles
1999-01-11 13:01 UTC
References
1999-01-08 18:01 UTC
strictification
1999-01-07 7:49 UTC
strictification
1999-01-06 22:56 UTC (2+ messages)
Paper Announcement
1999-01-06 18:04 UTC
Synthetic Domain Theory
1999-01-06 17:52 UTC
An Abstract Stone Duality
1999-01-06 11:35 UTC
An Abstract Stone Duality
1999-01-04 21:41 UTC
Mail to McGill not functionning
1998-12-28 16:32 UTC
Reminder: Call for Papers, Lambekfest
1998-12-24 0:09 UTC
CTCS '99 FIRST CALL FOR PAPERS
1998-12-22 11:36 UTC (2+ messages)
` thesis (involving rewriting and Kan extensions)
PhD in Informatics (AI, CS, CogSci) at Edinburgh
1998-12-21 17:52 UTC
MSc in Informatics (AI, CS, CgSci) at Edinburgh
1998-12-21 17:23 UTC
WAIT99 - Preliminary Call for Papers
1998-12-21 17:03 UTC
CONCUR'99 CFP
1998-12-21 8:52 UTC
PSSL 70: First announcement
1998-12-19 12:31 UTC
preprint
1998-12-19 1:44 UTC
EuroPar 99 / Toulouse
1998-12-17 8:15 UTC
paper on SDT available
1998-12-16 11:10 UTC
Inferring colimits
1998-12-16 10:55 UTC (2+ messages)
Preprint available (Fiore, Plotkin, and Turi)
1998-12-15 21:12 UTC
Preprint available
1998-12-14 22:51 UTC
SECOND ANNOUNCEMENT: SMOOTH CATEGORIES IN GEOMETRY AND MECHANICS
1998-12-14 22:45 UTC
one-object closed categories
1998-12-12 21:31 UTC (3+ messages)
` "
V-categories where V "is" an abelian monoid
1998-12-12 8:31 UTC
PhD position available
1998-12-11 7:49 UTC
Question of Tom Leinster of 26 Nov: one-object closed categories
1998-12-10 12:23 UTC
preprint (revised) available
1998-12-10 6:22 UTC
triples down
1998-12-01 18:50 UTC
TOOLS EUROPE '99 - Call for Submissions
1998-11-30 23:32 UTC
commutative monoids
1998-11-26 19:56 UTC
n-categorical miscellany
1998-11-24 23:28 UTC
Continuity
1998-11-24 17:42 UTC
Continuity
1998-11-24 13:35 UTC
HDA4: 2-Tangles
1998-11-24 4:08 UTC
about dimension of morphisms
1998-11-23 15:45 UTC
query
1998-11-20 23:06 UTC
Jim's query
1998-11-20 22:40 UTC (2+ messages)
staragain.dvi
1998-11-20 20:53 UTC
Professorship in Programming Theory, University of Bergen
1998-11-20 20:07 UTC
BRICS Int. PhD School: Call for Admission and Grant Applications
1998-11-20 20:06 UTC
Joyal's message + query
1998-11-20 18:58 UTC
announcement of pre-prints
1998-11-20 3:49 UTC
higher order category theory and homotopy theory
1998-11-19 19:06 UTC
Michael Barr named Peter Redpath Professor (fwd)
1998-11-19 15:08 UTC
Has this topos ever been found useful?
1998-11-19 11:53 UTC
category-homotopy
1998-11-19 10:34 UTC
query
1998-11-19 9:31 UTC
query
1998-11-19 1:15 UTC
preprint available
1998-11-18 16:09 UTC
preprint available (Kock and Reyes)
1998-11-18 12:27 UTC
PSSL in Trieste
1998-11-18 10:00 UTC
query
1998-11-18 4:12 UTC
preprint available (on simplicial complexes)
1998-11-17 8:26 UTC
query
1998-11-16 22:08 UTC
Sets
1998-11-16 20:07 UTC
Preprint available
1998-11-12 14:26 UTC
Yoneda lemma
1998-11-12 9:40 UTC
Godel
1998-11-11 23:33 UTC
computation in CPS
1998-11-11 22:21 UTC
Gödel and category theory
1998-11-11 21:41 UTC
SCTA - first announcement
1998-11-11 17:16 UTC
CT99 - first announcement
1998-11-11 17:02 UTC
Norddeutsches Kategorienseminar
1998-11-11 15:49 UTC
Gödel and category theory
1998-11-11 15:03 UTC (2+ messages)
Axioms of Algebraic Geometry
1998-11-10 2:01 UTC
computation in CPS
1998-11-09 21:31 UTC
Post-doctoral fellowship
1998-11-09 17:50 UTC
computation in CPS
1998-11-09 10:06 UTC
MFPS deadline extension
1998-11-06 19:28 UTC
Post-doctoral fellowship
1998-11-03 17:10 UTC
Reference?
1998-11-03 11:19 UTC (2+ messages)
FISh performance
1998-11-03 4:41 UTC (2+ messages)
CT for CS?
1998-11-02 20:55 UTC
Linear categories
1998-10-31 19:19 UTC
Linear categories
1998-10-30 20:50 UTC
Unicode for math symbols (forwarded)
1998-10-30 19:47 UTC
Reference?
1998-10-30 16:02 UTC
Paper available
1998-10-30 12:24 UTC
Reference?
1998-10-30 9:26 UTC
Update on FISh and shape
1998-10-29 13:46 UTC
Research Positions at BRICS Research Centre and Int. PhD School
1998-10-29 10:24 UTC
category theory and probability theory
1998-10-27 14:52 UTC (2+ messages)
category theory and probability theory
1998-10-25 18:18 UTC
Please insert a d
1998-10-25 14:58 UTC
Cocompleteness of infinity categories and groupoids
1998-10-22 11:11 UTC
comma?
1998-10-22 0:03 UTC
cogenerator in omegaCat ?
1998-10-21 23:36 UTC
cogenerator in omegaCat ?
1998-10-21 22:47 UTC
cogenerator in omegaCat ?
1998-10-21 19:36 UTC (2+ messages)
cogenerator in omegaCat ?
1998-10-21 14:54 UTC (2+ messages)
twisted arrow categories
1998-10-21 14:25 UTC
category theory and probability theory
1998-10-21 9:06 UTC
twisted arrow categories
1998-10-21 0:03 UTC
Comma categories
1998-10-20 21:11 UTC
twisted arrow categories
1998-10-20 15:15 UTC
Comma categories
1998-10-20 0:26 UTC
Comma categories
1998-10-19 17:19 UTC (2+ messages)
Natural numbers objects and free algebras
1998-10-15 8:42 UTC (2+ messages)
Paracategories
1998-10-14 18:42 UTC
DMTCS'99 and CATS'99 Call for Participation
1998-10-12 23:14 UTC
Mac Lane on Eilenberg
1998-10-12 18:46 UTC
ftp site
1998-10-07 19:08 UTC
PSSL IN TRIESTE
1998-10-07 17:40 UTC
postdoc funded by Microsoft
1998-10-02 15:06 UTC
center of a category
1998-10-01 17:42 UTC
Abstract Algebraic Geometry
1998-09-28 3:29 UTC
CSL'99 2nd CFP *deadlines modified* (Text & LaTex versions)
1998-09-25 18:07 UTC
Chew on this
1998-09-25 12:55 UTC (2+ messages)
URL update for Category group, Montreal (Lambek Festschrift, etc)
1998-09-23 5:09 UTC
BOUNCE categories@mta.ca: Approval required:
1998-09-23 5:05 UTC
ftp on triples
1998-09-21 18:49 UTC
Symmetric monoidal closed comma categories
1998-09-19 15:10 UTC
ftp on triples
1998-09-18 14:16 UTC
TLCA 99 : extended deadline
1998-09-15 12:28 UTC
Barr's symmetric monoidal closed comma category
1998-09-15 4:42 UTC
approaches to crypto
1998-09-14 2:43 UTC
Barr's symmetric monoidal closed comma category
1998-09-14 0:55 UTC
cubical nerve or not ?
1998-09-11 16:11 UTC
Classification theory
1998-09-11 15:18 UTC
Call for Participation: FM-TRENDS 98
1998-09-11 6:43 UTC
the origins and use of "co"
1998-09-10 10:50 UTC
Classification theory
1998-09-07 6:10 UTC
STACS'99: Call for Papers
1998-09-03 7:47 UTC
LPNMR'99 Call for Papers
1998-09-02 20:49 UTC
Call for Papers
1998-08-28 17:50 UTC
Looking for a post-doc
1998-08-24 15:28 UTC
MFPS Call for Papers
1998-08-18 20:37 UTC
the lanl e-print server
1998-08-10 15:41 UTC
New Preprint (revised)
1998-08-07 8:44 UTC
Injectives via KZ-monads
1998-08-04 17:01 UTC
New Preprint
1998-08-03 18:01 UTC
The Logic of Bunched Implications
1998-08-03 13:18 UTC
Lectureships at Queen Mary and Westfield
1998-07-30 14:32 UTC
FM'99 World Congress on Formal methods, 20-24 Sept. 1999, Toulouse, France
1998-07-22 12:27 UTC
preprint available
1998-07-21 17:55 UTC (2+ messages)
` revised "
java Workshop Reminder
1998-07-21 17:45 UTC
Answers
1998-07-20 17:20 UTC
Alfred Sober - some recollections
1998-07-20 16:09 UTC
2 Barr questions
1998-07-20 11:44 UTC
page: next (older) | prev (newer) | latest
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).