(unknown)
1998-02-15 11:43 UTC
CATS Categorical model for Floyd-Hoare logic?
1998-02-14 20:41 UTC (2+ messages)
CATS Re: Categorical model for Floyd-Hoare logic?
1998-02-14 18:30 UTC
CATS Re: New list server
1998-02-13 18:12 UTC
CATS Are primes ever generators?
1998-02-13 17: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
Big Omega available
1997-11-27 20:01 UTC
Algebraic Theories/Operads
1997-11-26 17:43 UTC
Cocompletions of Categories
1997-11-26 17:42 UTC
Adjoining intedeterminates to cartesian categories
1997-11-25 18:18 UTC
Adjoining intedeterminates to cartesian categories
1997-11-25 13:17 UTC
abstract algebraic geometry
1997-11-22 12:56 UTC
Request
1997-11-22 12:55 UTC
"weakened" operads
1997-11-20 19:51 UTC
PSSL - Announcement
1997-11-20 17:58 UTC
"weakened" operads
1997-11-19 1:11 UTC
cfp: Workshop on generic programming, WGP'98
1997-11-19 1:10 UTC
PhD Studentship
1997-11-19 1:09 UTC
Gentzen and Hilbert formulations of Linear logic
1997-11-17 17:12 UTC
last cfp MPC'98: Mathematics of Program Construction
1997-11-17 17:12 UTC
Limits in double categories, preprint
1997-11-13 19:56 UTC
preprints available
1997-11-13 19:56 UTC
On a remark of Barr
1997-11-11 21:18 UTC
BRICS Int. PhD School: Call for Admission and Grant Applications
1997-11-11 21:16 UTC
Automated Software Engineering 97 Panel on Categories for Software Engineering
1997-11-10 21:09 UTC
higher-dimensional multicategories and weak n-categories
1997-11-09 18:20 UTC
Abelian-topos (AT) categories
1997-11-07 18:45 UTC
Abelian-topos (AT) categories
1997-11-06 20:36 UTC
Abelian-topos (AT) categories
1997-11-05 21:35 UTC
abstract algebraic geometry
1997-11-05 21:34 UTC
Pratt slices
1997-11-05 21:33 UTC
CfP: ESSLLI-98 Workshop on Logical Abstract Machines
1997-11-05 21:32 UTC
LL Workshop in Utrecht
1997-11-05 21:32 UTC
Pratt slices
1997-11-04 17:34 UTC
local maps of toposes are always UIAO
1997-11-04 12:18 UTC
Abelian-topos (AT) categories
1997-11-04 12:17 UTC
Abelian-topos (AT) categories
1997-11-03 19:44 UTC
local maps of toposes are always UIAO
1997-11-03 19:43 UTC
Workshop announcement
1997-11-03 19:42 UTC
Abelian-topos (AT) categories
1997-11-02 18:53 UTC
pratt cat
1997-10-31 19:39 UTC
Topos-abelian categories that are neither
1997-10-31 18:34 UTC
pratt cat
1997-10-31 2:32 UTC
Topos-abelian categories that are neither
1997-10-27 20:09 UTC
logic jobs at Carnegie Mellon
1997-10-27 19:59 UTC
PSSL65 - Second Announcement
1997-10-20 17:43 UTC
Path Algebras
1997-10-17 15:53 UTC
abstract algebraic geometry
1997-10-16 19:53 UTC
Weak higher dimensional categories
1997-10-16 19:52 UTC
Operads, multicategories
1997-10-13 12:17 UTC
Induction and functors preserving Cartesian closure
1997-10-13 12:16 UTC
Research Positions at BRICS Research Centre and Int. PhD School
1997-10-09 19:46 UTC
query
1997-10-07 11:30 UTC
Montreal Category group new WWW address (URL)
1997-10-06 12:14 UTC
query
1997-10-02 19:52 UTC
resolutions as fractions, space complexity
1997-10-02 19:46 UTC
query
1997-10-01 19:50 UTC
vacant position
1997-10-01 16:42 UTC
Billfest
1997-10-01 16:41 UTC
2nd cfp MPC'98: Mathematics of Program Construction 98
1997-09-30 22:30 UTC
Billfest weather
1997-09-25 23:00 UTC
topology atlas
1997-09-24 16:54 UTC
Final Billfest timetable
1997-09-24 12:12 UTC
CfP Concur98
1997-09-22 20:38 UTC
Article by Lakoff and Nunez
1997-09-20 18:33 UTC
PSSL65 - First Announcement
1997-09-19 20:55 UTC
ICALP '98: Call for Papers and Workshops
1997-09-19 20:55 UTC
Categories for concurrency
1997-09-18 21:55 UTC
Lambekfest
1997-09-18 21:54 UTC
For Category Bulletin: New Preprint
1997-09-08 18:06 UTC
Barrfest proceedings (reminder)
1997-09-05 20:02 UTC
new preprint archive on scholarly communications
1997-09-04 14:56 UTC
preprint available: not yet :-(
1997-09-03 18:28 UTC
preprint available
1997-09-02 12:19 UTC
Applications for Category Theory
1997-08-29 16:13 UTC
Applications for Category Theory
1997-08-28 18:44 UTC
Reviews of books on category theory in c.s
1997-08-28 16:19 UTC
Reviews of books on category theory in c.s
1997-08-28 12:20 UTC
Applications for Category Theory
1997-08-27 19:33 UTC
e-address change
1997-08-27 13:32 UTC
Is cut semantical?
1997-08-27 13:31 UTC
Is cut semantical?
1997-08-26 15:18 UTC
Is cut semantical?
1997-08-26 15:17 UTC
Applications for Category Theory
1997-08-25 19:49 UTC
Applications for Category Theory
1997-08-25 19:48 UTC
Is cut semantical?
1997-08-25 19:47 UTC
Applications for Category Theory (Yoder)
1997-08-25 19:47 UTC
Chair in Computing Science at Uppsala University
1997-08-25 19:46 UTC
Applications for Category Theory
1997-08-25 14:09 UTC
Is cut semantical?
1997-08-25 14:08 UTC
Applications for Category Theory
1997-08-25 14:07 UTC
Applications for Category Theory
1997-08-23 15:41 UTC
alg-geom daily 9708010 received (over 1354 served) 976
1997-08-10 19:28 UTC
ICCL'98 Call For Papers
1997-08-08 20:19 UTC
Workshop on Internet Programming Languages: Call For Papers
1997-08-08 20:19 UTC
preprint
1997-08-07 17:12 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).