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
Preprints available
1997-08-06 11:46 UTC
JOB OPENING: two post-doc positions rewriting and semantics
1997-08-01 17:51 UTC
My posting
1997-08-01 17:48 UTC
Pratt's construction
1997-07-31 19:32 UTC
CTCS'97 final CFP
1997-07-31 19:31 UTC
Preprint available
1997-07-30 16:39 UTC
final CFP - Computing: The 4th Australiasian Theory Symposium (CATS98)
1997-07-29 18:24 UTC
functions Omega->Omega
1997-07-14 23:25 UTC
Interesting item for categories
1997-07-12 17:56 UTC
functions Omega->Omega
1997-07-12 17:55 UTC
Tuesday evening at CT97, future of publication
1997-07-11 18:42 UTC
European School on Graph Transformation
1997-07-11 18:34 UTC
What is q-alg ????????????????????
1997-07-11 18:33 UTC
un peu de r'eclame
1997-07-10 13:23 UTC
CT97 PROGRAM
1997-07-10 13:21 UTC
actions of groupes on categories
1997-07-10 13:20 UTC
actions of groupes on categories
1997-07-09 13:22 UTC
actions of groupes on categories
1997-07-09 13:20 UTC
CT97 PROGRAM
1997-07-09 13:19 UTC
Research positions in formal methods at Kestrel Institute
1997-07-08 23:17 UTC
2nd CFP - Computing: The Australiasian Theory Symposium (CATS98)
1997-07-08 23:15 UTC
Signed associahedra
1997-07-08 17:21 UTC
announcement of preprint
1997-07-08 17:19 UTC
actions of groupes on categories
1997-07-08 17:19 UTC
addendum to announcement
1997-07-08 17:17 UTC
announcement
1997-07-04 1:12 UTC
WoLLIC'97 - Call for Participation
1997-07-03 21:27 UTC
research position available at Cambridge
1997-07-02 16:48 UTC
functions Omega->Omega
1997-07-02 16:33 UTC
Query
1997-07-01 18:14 UTC
comma categories
1997-07-01 18:13 UTC
Preprint available
1997-07-01 18:12 UTC
my formula again
1997-07-01 18:11 UTC
algebraic logic via arrows
1997-07-01 2:42 UTC
Query
1997-07-01 2:41 UTC
AMAST '97 - Call for TOOL AND SYSTEM DEMOS
1997-07-01 2:40 UTC
Query
1997-07-01 2:39 UTC
functions Omega->Omega
1997-07-01 2:37 UTC
Timetable for Billfest
1997-07-01 2:37 UTC
PSSL65 - Preliminary Announcement
1997-07-01 2:36 UTC
Query
1997-06-29 14:39 UTC
algebraic logic via arrows
1997-06-29 14:37 UTC
pushouts in toposes
1997-06-29 14:36 UTC
REMINDER: MATHFIT Summer School and Workshop
1997-06-27 3:20 UTC
CSL'97: Programme and Call for Participation
1997-06-27 3:17 UTC
CTCS'97 - support for participants
1997-06-27 3:16 UTC
Tentative shcedule, take 2
1997-06-27 3:15 UTC
CT97 Lists
1997-06-27 3:14 UTC
pushouts in toposes
1997-06-18 2:52 UTC
pushouts in toposes
1997-06-18 2:51 UTC
pushouts in toposes
1997-06-17 11:32 UTC
Announcement: paper on linear functors available
1997-06-11 14:53 UTC
Workshop
1997-06-11 14:51 UTC
CT97
1997-06-11 14:51 UTC
BarrFest "entertainments"
1997-06-09 15:39 UTC
Call for papers - BarrFest
1997-06-09 15:38 UTC
Tentative timetable, Billfest
1997-06-09 15:36 UTC
New versions of papers available
1997-06-03 14:05 UTC
CTCS'97 - Call for Participation
1997-06-02 12:10 UTC
ANNOUNCING: Xy-pic version 3.5 released!
1997-06-02 12:09 UTC
injectivity
1997-05-29 17:33 UTC
equilogical spaces
1997-05-27 16:46 UTC
BarrFest Schedule
1997-05-24 19:41 UTC
PhD-Studentships in Theoretical Computer Science
1997-05-21 17:03 UTC
Last Call
1997-05-21 17:02 UTC
ANNOUNCING: Xy-pic version 3.4 released!
1997-05-21 0:18 UTC
Scott is Phoa, locally
1997-05-19 12:19 UTC
CT97
1997-05-18 20:47 UTC
Final CFP: Third Special Australasian Issue of Theoretical Computer Science
1997-05-18 20:46 UTC
correction
1997-05-16 1:19 UTC
An introduction to n-categories
1997-05-16 1:18 UTC
injectivity
1997-05-16 1:17 UTC
injectivity
1997-05-09 16:11 UTC
Change of Address
1997-05-08 16:16 UTC
Change of address
1997-05-06 20:15 UTC
Ad (correction)
1997-05-06 13:27 UTC
cfp: Mathematics of Program Construction '98
1997-05-06 13:25 UTC
Ad
1997-05-05 1:32 UTC
Notes of two lectures
1997-04-30 23:00 UTC
weak \omega-categories
1997-04-29 23:23 UTC
IC-EATCS Annual Advanced School
1997-04-29 18:23 UTC
AMAST'97 CFP
1997-04-28 10:58 UTC
weak \omega-categories
1997-04-28 10:28 UTC
Call for contributions
1997-04-24 18:30 UTC
Notes of two lectures
1997-04-24 18:28 UTC
preprint available
1997-04-24 18:24 UTC
TCS Special Issue: Proof-search in Type-theoretic Languages
1997-04-24 18:22 UTC
Summer School on Games and Computation
1997-04-20 21:16 UTC
4th WoLLIC'97 - third call
1997-04-16 20:23 UTC
ICCL'98: Preliminary Call For Papers
1997-04-16 20:21 UTC
protected files
1997-04-16 20:19 UTC
new preprint available
1997-04-12 19:01 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).