aosd 2007
2006-08-12 13:56 UTC
Laws
2006-08-11 23:18 UTC
Linear--structure or property?
2006-08-11 21:47 UTC
Linear--structure or property?
2006-08-11 14:53 UTC
Linear--structure or property?
2006-08-11 14:35 UTC (2+ messages)
Linear--structure or property?
2006-08-11 9:12 UTC
gentle introduction to CT?
2006-08-10 21:19 UTC
Linear--structure or property?
2006-08-10 20:14 UTC
Jobs in Glasgow
2006-08-10 15:13 UTC
MFPS 23 Preliminary Announcement
2006-08-10 8:58 UTC
Laws
2006-08-10 0:19 UTC
More laws
2006-08-09 3:56 UTC
Laws
2006-08-09 2:24 UTC
Laws
2006-08-08 23:31 UTC
Laws
2006-08-08 19:19 UTC
Laws
2006-08-08 11:28 UTC
Laws
2006-08-08 8:38 UTC
Laws
2006-08-08 6:30 UTC
Laws
2006-08-08 5:08 UTC
Laws
2006-08-07 13:36 UTC
IFIP WG2.2 anniversary meeting: Last Call for Participation
2006-08-07 13:20 UTC
CT2006 pictures online!
2006-08-03 19:03 UTC
PSSL84, first announcement
2006-08-02 12:32 UTC
Octoberfest-Preliminary Announcement
2006-08-01 13:18 UTC
list interruption
2006-07-19 14:39 UTC
[verimag-news ] Call for tutorial papers - FMCO 2006 - Amsterdam
2006-07-16 20:44 UTC
Milano 2006 - WORKSHOP in CATEGORICAL ALGEBRA
2006-07-16 14:13 UTC
Two recent deaths
2006-07-14 16:48 UTC
New York Times on Saunders and Irving
2006-07-13 15:38 UTC
Summer School: Haute-Bodeux, 2007
2006-07-11 17:53 UTC
Express '06 - Call for Participation
2006-07-11 16:36 UTC
Algebraic Theory of Automata and Logic Workshop CALL FOR PAPERS
2006-07-11 7:15 UTC
Two honorary degrees
2006-07-08 13:56 UTC
Cohn obit
2006-07-07 23:39 UTC
Cohn obit
2006-07-07 14:49 UTC
Book announcement
2006-07-06 12:00 UTC
SOS 2006 - Programme and Call for Participation
2006-07-05 23:48 UTC
E. W. Beth Dissertation Prize: call for submissions
2006-07-04 16:14 UTC
ramifications of Goldblatt's notion of a skeleton of a category
2006-07-04 16:14 UTC
Quantum computing on the 84th PSSL
2006-07-04 14:49 UTC
FLoC 06 -- Call For Participation
2006-07-03 20:16 UTC
Symposium for Gordon Plotkin: Call for Participation
2006-07-03 13:23 UTC
ramifications of Goldblatt's notion of a skeleton of a category
2006-07-03 11:07 UTC
CfP: MOMPES 2007, published by IEEE CS Press
2006-07-01 23:18 UTC
ramifications of Goldblatt's notion of a skeleton of a category
2006-07-01 23:14 UTC
Book announcement
2006-07-01 13:53 UTC
1cfp: calco'07 (2nd Conference on Algebra and Coalgebra in Computer Science), Bergen, Norway
2006-06-30 14:12 UTC
Position preannoucement in Paris 7 (in ** mathematics **)
2006-06-29 19:32 UTC
ramifications of Goldblatt's notion of a skeleton of a category
2006-06-29 5:29 UTC
CATS call for papers
2006-06-28 4:44 UTC
Call for Participation RTA'06
2006-06-26 8:39 UTC
aosd 2007
2006-06-20 17:02 UTC
Mazzola
2006-06-16 18:06 UTC
IFIP WG 2.2 Anniversary Meeting - Call for Participation
2006-06-15 8:46 UTC
ph.d. studentship at Toulouse (France)
2006-06-06 18:37 UTC
QPL 2006 Call for Participation, Student Support
2006-06-05 12:54 UTC
new textbook
2006-06-02 14:19 UTC
some Bangor preprints
2006-05-31 21:41 UTC
two topology questions
2006-05-29 20:23 UTC
Higher-dimensional algebra - a language for quantum spacetime
2006-05-29 18:33 UTC
HyLo 2006: Extended Deadline
2006-05-29 16:21 UTC
Notes from Glasgow PSSL
2006-05-29 15:56 UTC
Joseph Goguen Festschrift -- Call for Participation
2006-05-29 13:50 UTC
Bill Hatcher -- an obituary
2006-05-29 10:20 UTC
jobs: 1 PhD and 1 Post-doc position at CWI, Amsterdam
2006-05-19 16:33 UTC
Hecke eigensheaves and KV 2-vectors
2006-05-19 12:39 UTC
Hecke eigensheaves and KV 2-vectors
2006-05-18 15:37 UTC
Hecke eigensheaves and KV 2-vectors
2006-05-18 15:30 UTC
Gaunce Lewis
2006-05-18 14:59 UTC
Hecke eigensheaves and KV 2-vectors
2006-05-18 8:29 UTC
Topoi reprint (resent)
2006-05-18 6:27 UTC
job at Cave Hill
2006-05-17 20:01 UTC
regular monos not closed under composition
2006-05-17 9:47 UTC
reprint
2006-05-16 23:55 UTC
regular monos not closed under composition
2006-05-16 20:20 UTC
CFP: International Workshop on Hybrid Logic 2006 (HyLo 2006)
2006-05-11 10:23 UTC
Master in Pure and Applied Logic
2006-05-10 14:10 UTC
Topology and groupoids, by Ronald Brown
2006-05-09 21:00 UTC
Whatever happened to Doug Gurr?
2006-05-09 14:26 UTC
strict symmetric monoidal
2006-05-08 22:29 UTC
Choice and algebraic closure
2006-05-08 10:15 UTC
Construction of a real closure
2006-05-07 20:28 UTC
Remark on: Re: gr-stacks (revised)
2006-05-06 22:13 UTC
Construction of a real closure
2006-05-06 13:53 UTC
gr-stacks (revised)
2006-05-06 4:09 UTC
Construction of a real closure
2006-05-06 2:24 UTC
Construction of a real closure
2006-05-05 20:34 UTC
Construction of a real closure
2006-05-05 14:55 UTC
Spring School in Theoretical Computer Science
2006-05-05 13:59 UTC
Construction of a real closure
2006-05-05 13:45 UTC
Construction of a real closure
2006-05-05 13:30 UTC
Construction of a real closure
2006-05-05 12:22 UTC
algebraic closure
2006-05-05 9:28 UTC
Construction of a real closure
2006-05-05 2:14 UTC
Construction of a real closure
2006-05-04 23:28 UTC
Construction of a real closure
2006-05-04 22:20 UTC
Construction of a real closure
2006-05-04 22:20 UTC
Construction of a real closure
2006-05-04 15:22 UTC
Choice and algebraic closure
2006-05-04 12:13 UTC
dualities
2006-05-04 6:39 UTC
2-Chu
2006-05-03 18:45 UTC
dualities
2006-05-03 16:40 UTC
MAP summer school. Call for participation
2006-05-03 13:58 UTC
ad for postdoc at Ottawa U
2006-05-03 12:42 UTC
duality
2006-05-03 9:44 UTC
dualities
2006-05-02 22:05 UTC
FMCS'06 reminder
2006-05-02 16:47 UTC
dualities
2006-05-02 5:39 UTC
dualities
2006-05-01 20:02 UTC
dualities
2006-05-01 19:06 UTC
dualities
2006-05-01 11:46 UTC
Does duality categorify?
2006-05-01 8:53 UTC
gr-stacks in the literature
2006-05-01 4:26 UTC
dualities
2006-04-30 19:28 UTC
dualities
2006-04-30 16:56 UTC
gr-stacks in the literature
2006-04-30 12:17 UTC
gr-stacks in the literature
2006-04-29 17:52 UTC
Does duality categorify?
2006-04-29 17:37 UTC
dualities
2006-04-29 14:14 UTC
gr-stacks in the literature
2006-04-29 3:57 UTC
Does duality categorify?
2006-04-28 3:00 UTC
Products in a compact closed category
2006-04-27 17:19 UTC
Does duality categorify?
2006-04-26 16:58 UTC
MFPS 22 Program online
2006-04-25 21:07 UTC
ESSLLI 2006: Call for participation
2006-04-24 11:54 UTC
algebra and coalgebra: positions for 3 PhDs and 1 postdoc
2006-04-24 8:30 UTC
SOS 2006 - Call for Papers
2006-04-24 6:54 UTC
Computability in Europe 2006 - Call for Participation
2006-04-21 7:26 UTC
What is Category Theory?
2006-04-20 12:53 UTC
[Fwd: du Sautoy]
2006-04-20 0:51 UTC
[Fwd: du Sautoy]
2006-04-19 20:32 UTC
lax functors and bimodules
2006-04-19 20:25 UTC
[Fwd: du Sautoy]
2006-04-19 12:03 UTC
[Fwd: du Sautoy]
2006-04-19 11:35 UTC
[Fwd: du Sautoy]
2006-04-19 7:14 UTC
[Fwd: du Sautoy]
2006-04-18 17:12 UTC
[Fwd: du Sautoy]
2006-04-18 13:59 UTC
MFPS 22 Call for Participation
2006-04-17 18:55 UTC
longdivision
2006-04-17 18:23 UTC
[Fwd: du Sautoy]
2006-04-17 14:19 UTC
Games for logic an programming languages workshop : CFP
2006-04-17 10:35 UTC
[Fwd: du Sautoy]
2006-04-16 22:53 UTC
[Fwd: du Sautoy]
2006-04-16 17:23 UTC
LICS 2006 Call for Short Presentations
2006-04-14 12:30 UTC
CSL'06 CALL FOR PAPERS [final version]
2006-04-14 8:17 UTC
MPC/AMAST 2006 Call for Participation
2006-04-13 10:20 UTC
Deadline Extension: Mathematically Structured Functional Programming
2006-04-11 16:59 UTC
A challenge (Re: Demystifying the categorical approach)
2006-04-11 13:51 UTC
2nd CFP: FCS-ARSPA'06 (Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis)
2006-04-11 13:36 UTC
A challenge (Re: Demystifying the categorical approach)
2006-04-11 12:02 UTC
CT2006 List of Talks and Call for Participation
2006-04-10 21:44 UTC
Logicians as peaceniks: the early days
2006-04-10 17:24 UTC
Cats, Kets and Cloisters, Oxford University, July 17-23 (2006)
2006-04-10 15:30 UTC
SegraVis Advanced School on Visual Modelling Techniques
2006-04-10 11:31 UTC
A challenge (Re: Demystifying the categorial approach)
2006-04-07 17:28 UTC
AOSD 2007
2006-04-07 15:56 UTC
Glasgow PSSL
2006-04-06 15:54 UTC
Demystifying the categorial approach
2006-04-06 15:49 UTC
Category theory question from Solovay
2006-04-05 4:02 UTC
Demystifying the categorial approach
2006-04-04 21:49 UTC
cracks and pots 93
2006-04-04 16:15 UTC
cracks and pots 93
2006-04-04 13:45 UTC
Demystifying the categorial approach
2006-04-04 8:29 UTC
cracks and pots
2006-04-04 7:50 UTC (2+ messages)
` Specific examples? (Was: cracks and pots)
cracks and pots 93
2006-04-04 2:07 UTC
fundamental theorem of algebra
2006-04-04 1:08 UTC
MFPS 22 Call for Participation
2006-04-04 0:54 UTC
language
2006-04-04 0:07 UTC
Higher categories, higher gauge theory
2006-04-04 0:01 UTC
fundamental theorem of algebra
2006-04-03 23:41 UTC
cracks and pots 106
2006-04-03 22:47 UTC
Demystifying the categorial approach
2006-04-03 15:09 UTC
cracks and pots and Mac Lane
2006-04-03 15:02 UTC
cracks and pots 93
2006-04-03 13:36 UTC
fundamental theorem of algebra
2006-04-03 4:18 UTC
Reminder: Mac Lane Memorial Conference
2006-04-03 0:17 UTC
fundamental theorem of algebra
2006-04-02 18:43 UTC
cracks and pots 93
2006-04-02 14:03 UTC
cracks and pots and Mac Lane
2006-04-02 7:36 UTC
cracks and pots and Mac Lane
2006-04-02 1:42 UTC
fundamental theorem of algebra
2006-04-02 0:59 UTC
WHY ...CONCERNED? III
2006-04-01 23:40 UTC
cracks and pots and Mac Lane
2006-04-01 15:11 UTC
WHY ...CONCERNED? III
2006-04-01 15:01 UTC
fundamental theorem of algebra
2006-04-01 14:59 UTC
fundamental theorem of algebra
2006-04-01 13:01 UTC
fundamental theorem of algebra
2006-04-01 9:44 UTC
cracks and pots 93
2006-03-31 22:17 UTC
fundamental theorem of algebra
2006-03-31 19:39 UTC
cracks and pots 93
2006-03-31 16:56 UTC
WHY ARE WE CONCERNED? I
2006-03-31 14:30 UTC
WHY ...CONCERNED? III
2006-03-31 14:15 UTC
WHY ARE WE CONCERNED?
2006-03-31 9:18 UTC
fundamental theorem of algebra
2006-03-31 7:20 UTC
fundamental theorem of algebra
2006-03-31 4:01 UTC
cracks and pots 93
2006-03-31 2:46 UTC
Fundamental theorem
2006-03-31 2:23 UTC
Fundamental theorem
2006-03-31 0:43 UTC
WHY ARE WE CONCERNED? I
2006-03-30 23: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).