Regular embedding
1998-05-22 17:31 UTC
Regular embedding
1998-05-22 15:25 UTC (2+ messages)
"Practical Foundations of Mathematics"
1998-05-22 14:00 UTC
Regular embedding
1998-05-21 12:44 UTC
CONCUR '98: ACCEPTED PAPERS (and general infos)
1998-05-20 13:59 UTC
question about omega-category
1998-05-20 2:46 UTC
Who said: General Abstract Nonsense
1998-05-20 0:30 UTC
Nonsense
1998-05-20 0:16 UTC
Who said: General Abstract Nonsense
1998-05-19 22:43 UTC (3+ messages)
abstract algebraic geometry
1998-05-19 18:50 UTC
Informal seminar: Trieste
1998-05-18 15:32 UTC
question about omega-category
1998-05-13 13:35 UTC
Multicategories
1998-05-12 19:40 UTC (2+ messages)
(unknown)
1998-05-12 15:09 UTC
PSSL 68
1998-05-12 10:56 UTC
the FISh language
1998-05-11 19:26 UTC
the FISh language
1998-05-11 12:27 UTC
more precisely
1998-05-07 19:25 UTC
ICALP'98: Call for Participation
1998-05-07 16:40 UTC
preprint available
1998-05-06 22:15 UTC
abstract algebraic geometry
1998-05-06 19:41 UTC
CADE-15 Workshop: Proof-search in type-theoretic languages
1998-05-05 13:26 UTC
Second Call for Papers
1998-04-30 7:56 UTC
Deadline reminder: CMS Category Theory Session
1998-04-28 17:39 UTC
abstract algebraic geometry
1998-04-28 13:46 UTC (2+ messages)
` Book available by ftp
CATS'99 + DMTCS'99 call for papers
1998-04-27 22:17 UTC
PSSL 67
1998-04-27 12:26 UTC
Pre-prints available
1998-04-25 13:03 UTC
Last call for participation: MPC'98
1998-04-24 15:49 UTC
AMS Announcement
1998-04-23 2:20 UTC
IPL (FINAL) Call For Participation
1998-04-20 15:58 UTC
ICCL (FINAL) Call For Participation
1998-04-20 15:57 UTC
PSSL 67
1998-04-20 10:12 UTC
Reminder: ICM'98 early registration deadline is May 1!
1998-04-17 16:27 UTC
Interesting comment
1998-04-12 12:50 UTC
My posting
1998-04-06 19:07 UTC
Pure Mathematics Lectureships
1998-04-06 9:43 UTC
AWOCA'98
1998-04-06 8:22 UTC
Naturality Squares and Pullbacks
1998-04-06 3:15 UTC (3+ messages)
Neil Ghani's question
1998-04-06 2:06 UTC
new address
1998-04-05 5:16 UTC
IPL Call For Participation (one week until hotel deadline)
1998-04-04 22:09 UTC
ICCL Call For Participation (one week until hotel deadline)
1998-04-04 22:09 UTC
a fantastic simplification of our subject
1998-04-04 15:42 UTC
Neil Ghani's question
1998-04-04 14:57 UTC (2+ messages)
WoLLIC'98 - Deadline Extended
1998-03-31 21:36 UTC
TLCA99
1998-03-31 10:20 UTC
AMAST'98 first CFP
1998-03-27 16:19 UTC
tensor product of categories
1998-03-26 4:27 UTC
CFP: Applied Category Theory - Belgium 1998
1998-03-25 18:30 UTC
Naturality Squares and Pullbacks
1998-03-25 7:23 UTC
FMCS '98: Call for Participation
1998-03-24 21:40 UTC
tensor product of categories
1998-03-24 20:25 UTC
IPL Call For Participation
1998-03-23 22:57 UTC
SECOND ANNOUNCEMENT: WORKSHOP
1998-03-23 12:28 UTC
Teaching Category Theory on-line resources
1998-03-20 23:49 UTC
ICALP '98: List of Accepted Papers
1998-03-17 14:19 UTC
ICCL'98 Call For Participation
1998-03-12 16:27 UTC
Call for participation: MPC'98
1998-03-12 13:24 UTC
Bill Fest (fwd)
1998-03-12 4:05 UTC
5th WoLLIC'98 - 3rd Call
1998-03-11 14:06 UTC
PSSL'66
1998-03-10 18:08 UTC
Memorial article
1998-03-06 16:23 UTC (2+ messages)
ANNOUNCING: Xy-pic version 3.6 released!
1998-03-06 5:02 UTC
Uday's question
1998-03-04 16:43 UTC
Master Class in Logic - Reminder
1998-03-04 12:28 UTC
Reddy's question
1998-03-04 4:59 UTC
Reddy's question
1998-03-03 12:32 UTC
Quantifiers for monoids
1998-03-02 11:16 UTC (2+ messages)
Paper on Feedback announced
1998-02-28 16:41 UTC
Paper available
1998-02-27 14:33 UTC
CONCUR98: final CFP (EXTENDED deadline)
1998-02-26 15:59 UTC
new paper: A Relevant Analysis of Natural Deduction
1998-02-24 14:18 UTC
email address
1998-02-17 4:27 UTC
CATEGORY THEORY WORKSHOP
1998-02-16 19:23 UTC
CATEGORY THEORY SYMPOSIUM
1998-02-16 19:21 UTC
CATS Are primes ever generators?
1998-02-15 23:26 UTC (2+ messages)
CATS Re: Categorical model for Floyd-Hoare logic?
1998-02-15 23:21 UTC (2+ messages)
correction
1998-02-15 18:05 UTC
Categorical model for Floyd-Hoare logic?
1998-02-15 14:48 UTC
(unknown)
1998-02-15 11:43 UTC
CATS Categorical model for Floyd-Hoare logic?
1998-02-14 20:41 UTC (2+ messages)
CATS Re: New list server
1998-02-13 18:12 UTC
CATS PhD Studentship at Edinburgh
1998-02-13 15:05 UTC
New list server
1998-02-13 3:35 UTC
decompositions of topoi
1998-02-11 20:19 UTC
Specification vs execution
1998-02-09 21:28 UTC
formal languages fibrationally
1998-02-09 21:27 UTC
Categorification
1998-02-08 16:38 UTC
NMR Workshop
1998-02-06 21:54 UTC
CSL98
1998-02-06 21:53 UTC
on the NYUT Sammy obit
1998-02-06 18:45 UTC
Montebello on Eilenberg
1998-02-06 18:43 UTC
Sammy obits
1998-02-04 14:17 UTC
sad news
1998-02-02 14:11 UTC
Friedman's challenge, and the ordinals
1998-02-02 14:10 UTC
sad news
1998-01-31 14:56 UTC
Friedman's challenge, and the ordinals
1998-01-30 19:56 UTC
Generic Programming Workshop: Final Call
1998-01-30 19:56 UTC
Challenge from Harvey Friedman
1998-01-30 19:55 UTC
Insights: adjunctions and languages
1998-01-30 19:55 UTC
Insights: adjunctions and languages
1998-01-29 20:16 UTC
Challenge from Harvey Friedman
1998-01-29 20:14 UTC
Terminology for Kan extensions
1998-01-28 14:22 UTC
Announcement of PhD Positions in Computing Science at Chalemrs
1998-01-28 14:11 UTC
67th PSSL
1998-01-28 14:10 UTC
Challenge from Harvey Friedman
1998-01-28 14:09 UTC
The Friedman/Flagg paper
1998-01-28 14:08 UTC
Challenge from Harvey Friedman
1998-01-26 23:34 UTC
Challenge from Harvey Friedman
1998-01-26 19:01 UTC
Challenge from Harvey Friedman
1998-01-26 19:00 UTC
Immodest proposal
1998-01-26 18:59 UTC
Challenge from Harvey Friedman
1998-01-26 18:58 UTC
Challenge from Harvey Friedman
1998-01-24 17:34 UTC
Challenge from Harvey Friedman
1998-01-24 17:33 UTC
Challenge from Harvey Friedman
1998-01-23 23:37 UTC
Challenge from Harvey Friedman
1998-01-23 20:26 UTC
Research position
1998-01-23 18:51 UTC
Perfect double negation
1998-01-22 20:40 UTC
CfP: ESSLLI-98 Workshop on Logical Abstract Machines
1998-01-22 20:40 UTC
coinduction papers
1998-01-22 20:39 UTC
TAC: Abstracts from Volume 3, 1997
1998-01-21 19:07 UTC
PSSL'66 Announcement and Registration
1998-01-21 17:34 UTC
Journals
1998-01-21 17:34 UTC
Combining monads and Pullback cats
1998-01-20 21:33 UTC
5th WoLLIC'98 - 2nd Call
1998-01-20 21:32 UTC
pullback categories
1998-01-20 19:02 UTC
PhD Studentships
1998-01-20 19:00 UTC
Lectureships in Computer Science
1998-01-20 18:59 UTC
ICM'98 Second Announcement
1998-01-20 18:58 UTC
Master Class in Mathematical Logic
1998-01-19 13:46 UTC
announcement
1998-01-19 13:45 UTC
Combining monads
1998-01-16 18:20 UTC
Report available
1998-01-15 21:11 UTC
Conference Announcement
1998-01-15 21:11 UTC
Combining monads
1998-01-15 21:10 UTC
oops
1998-01-14 23:43 UTC
Combining monads
1998-01-14 23:38 UTC
Non-well-powered
1998-01-14 23:34 UTC
Combining monads
1998-01-14 19:10 UTC
Research Position at Sussex
1998-01-14 18:35 UTC
Functor algebras
1998-01-12 18:40 UTC
iced categories
1998-01-12 18:38 UTC
iced categories
1998-01-12 18:38 UTC
iced categories
1998-01-11 19:09 UTC
MFCS'98 CFPW
1998-01-09 13:54 UTC
Workshop on Fixed Points
1998-01-08 20:33 UTC
Functor algebras
1998-01-08 20:29 UTC
Functor algebras
1998-01-08 20:28 UTC
FMCS 98
1998-01-07 21:58 UTC
Functor algebras
1998-01-07 16:59 UTC
2nd cfp: Workshop on Generic Programming 98
1997-12-31 1:29 UTC
job in Sydney Univ. School of Maths about to be advertised
1997-12-24 1:43 UTC
non-Abelian groups
1997-12-23 14:23 UTC
non-Abelian groups
1997-12-22 14:49 UTC
correction on category of groups
1997-12-21 20:09 UTC
non-Abelian categories
1997-12-21 20:08 UTC
non-Abelian categories
1997-12-21 20:08 UTC
abstract algebraic geometry
1997-12-20 13:53 UTC
non-Abelian categories
1997-12-20 13:52 UTC
ICALP '98: Announcement of Sattellite Events
1997-12-20 13:51 UTC
ICALP '98: Call for Papers (reminder)
1997-12-20 13:50 UTC
CfP: Workshop & Tutorial on Categorical Rewriting at RTA'98
1997-12-20 13:50 UTC
Triples down etc
1997-12-17 17:53 UTC
Congratulations!
1997-12-17 17:51 UTC
submission of papers in TeX source code
1997-12-15 18:17 UTC
unified electronic preprint archive for mathematics
1997-12-15 18:17 UTC
AI&Math'98 Conference
1997-12-15 18:16 UTC
eprint discussion - from moderator
1997-12-09 20:35 UTC
Injectives and choice
1997-12-08 21:25 UTC
Injectives and choice
1997-12-08 19:41 UTC
Algebraic Theories/Operads
1997-12-08 17:42 UTC
Free-Forgetful Adjunction for Vect
1997-12-06 20:13 UTC
e-prints
1997-12-06 20:12 UTC
Algebraic Theories/Operads
1997-12-06 20:12 UTC
e-prints
1997-12-05 12:46 UTC
e-prints
1997-12-05 12:45 UTC
CONCUR'98: 2nd cfp
1997-12-05 12:44 UTC
e-prints
1997-12-04 20:43 UTC
Sheaves and Logic
1997-12-04 18:20 UTC
e-prints
1997-12-04 13:48 UTC
preprints available
1997-12-04 13:47 UTC
Announcement PSSL'66
1997-12-01 18:01 UTC
Workshop announcement
1997-12-01 18:00 UTC
Algebraic Theories/Operads
1997-11-27 20:04 UTC
Algebraic Theories/Operads
1997-11-27 20:04 UTC
Algebraic Theories/Operads
1997-11-27 20:03 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).