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
WHY ARE WE CONCERNED? I
2006-03-30 19:28 UTC
cracks and pots 93
2006-03-30 18:31 UTC
WHY ARE WE CONCERNED? I
2006-03-30 17:10 UTC
May and Beck
2006-03-30 14:27 UTC
WHY ARE WE CONCERNED? I
2006-03-30 14:08 UTC
WHY ARE WE CONCERNED? I
2006-03-30 10:33 UTC
WHY ARE WE CONCERNED? I
2006-03-30 9:03 UTC
WHY ARE WE CONCERNED? I
2006-03-30 8:13 UTC
Reminder: CMS Summer Meeting in Calgary 2006
2006-03-29 21:17 UTC
WHY ARE WE CONCERNED? I
2006-03-29 20:10 UTC (3+ messages)
cracks and pots
2006-03-29 19:23 UTC
WHY ARE WE CONCERNED? I
2006-03-29 15:42 UTC
cracks and pots
2006-03-29 14:02 UTC
Appreciation of Jon Beck
2006-03-29 13:54 UTC
how science (math) should work
2006-03-29 13:40 UTC
WHY ARE WE CONCERNED? I
2006-03-29 13:22 UTC
cracks and pots
2006-03-29 12:57 UTC (2+ messages)
WHY ARE WE CONCERNED? II
2006-03-29 2:30 UTC
how science (math) should work
2006-03-28 16:03 UTC
The Yoneda axiom (was: One-stop version of my postings)
2006-03-27 20:05 UTC
cracks and pots
2006-03-27 14:28 UTC (2+ messages)
One-stop version of my postings
2006-03-27 13:56 UTC (2+ messages)
Monads on finite categories
2006-03-27 8:06 UTC
Foundations?
2006-03-26 22:04 UTC
Geocal 06
2006-03-26 21:50 UTC
George Mackey, 1916-2006
2006-03-26 21:48 UTC
cracks and pots
2006-03-26 13:25 UTC (2+ messages)
Progressive or linear or ... monoids?
2006-03-26 3:25 UTC
Monads on finite categories
2006-03-25 21:32 UTC
Progressive or linear or ... monoids?
2006-03-25 18:50 UTC (4+ messages)
Progressive or linear or ... monoids?
2006-03-25 13:27 UTC
cracks and pots
2006-03-25 3:22 UTC
cracks and pots
2006-03-24 16:24 UTC
George Mackey, 1916-2006
2006-03-24 16:13 UTC (3+ messages)
cracks and pots
2006-03-23 19:45 UTC
One-stop version of my postings
2006-03-23 17:09 UTC
Jon Beck
2006-03-23 15:56 UTC
Products in a compact closed category
2006-03-23 12:17 UTC
Logic Colloquium 2006 (Nijmegen NL) Call for Participation/Contributed talks
2006-03-21 8:29 UTC
Logical Foundations of Computer Science'07. First Call for Papers
2006-03-20 20:07 UTC
Jon Beck
2006-03-20 14:55 UTC
cracks and pots
2006-03-19 18:25 UTC
cracks and pots
2006-03-18 20:22 UTC (3+ messages)
cracks and pots
2006-03-18 15:19 UTC
pots and kettles
2006-03-17 19:03 UTC
cracks and pots
2006-03-17 18:29 UTC
cracks and pots
2006-03-17 17:26 UTC
cracks and pots
2006-03-17 16:24 UTC
cracks and pots
2006-03-17 14:25 UTC
cracks and pots
2006-03-17 9:36 UTC
cracks and pots
2006-03-17 8:49 UTC
cracks and pots
2006-03-17 8:06 UTC
pots and kettles
2006-03-17 7:36 UTC
From moderator: reposting Stasheff/interruption
2006-03-17 0:48 UTC
cracks and pots
2006-03-16 20:47 UTC
cracks and pots
2006-03-16 18:41 UTC
cracks and pots
2006-03-16 17:29 UTC
4th workshop on Quantum Programming Languages
2006-03-16 16:42 UTC
pots and kettles
2006-03-16 15:56 UTC
cracks and pots
2006-03-16 14:54 UTC
Cracks and pots and the gruppenpest
2006-03-16 14:32 UTC
cracks and pots
2006-03-16 12:05 UTC
cracks and pots
2006-03-16 9:51 UTC
(unknown)
2006-03-16 2:08 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).