18 Aug 17:40 2014Gwen.Salaun
*Postdoc Position on Verification of Asynchronously Communicating Syste
18 Aug 17:15 2014Maria Manuel Clementino
*postdoc grants in Portugal
11 Aug 09:01 2014tholen
*Book available
6 Aug 08:52 2014Fred E.J. Linton
*YT at Seoul ICM 2014
5 Aug 17:30 2014Adam Gal
*Final objects in 2-categories
5 Aug 07:44 2014David Roberts
*Strictification avoids Choice?
4 Aug 20:24 2014Zhen Lin Low
*A condition for functors to reflect orthogonality
6 Aug 05:08 2014Jean Bénabou
**A condition for functors to reflect orthogonality
7 Aug 01:35 2014Zhen Lin Low
***A condition for functors to reflect orthogonality
4 Aug 16:52 2014George Janelidze
*Present and future
4 Aug 09:03 2014Vasili I. Galchin
*Functional programming and William Lawvere's notion of "variable sets"
4 Aug 06:33 2014Jean Bénabou
*Present and future
2 Aug 18:00 2014Jean Bénabou
*Present and future
3 Aug 17:44 2014George Janelidze
**Present and future
2 Aug 17:24 2014Eduardo J. Dubuc
*cleavages and choice
2 Aug 17:13 2014Michael Barr
*Fred's letter
1 Aug 19:52 2014Jean Bénabou
*cleavages and choice
1 Aug 19:43 2014wlawvere
*re messages concerning Steve Schanuel
1 Aug 14:10 2014Jean Bénabou
*R A brief survey of cartesian functors
31 Jul 00:43 2014Michael Shulman
*functors defined by well-founded induction
30 Jul 19:56 2014Jean Bénabou
*cleavages and choice
1 Aug 18:47 2014Eduardo J. Dubuc
**cleavages and choice
2 Aug 12:58 2014Marco Grandis
***cleavages and choice
3 Aug 17:17 2014Paul Levy
****cleavages and choice
3 Aug 18:30 2014Toby Bartels
****cleavages and choice
4 Aug 16:47 2014Marco Grandis
*****cleavages and choice
30 Jul 03:05 2014Jean Bénabou
*A brief survey of cartesian functors
29 Jul 22:50 2014Tom Leinster
*New book: Basic Category Theory
29 Jul 21:58 2014George Janelidze
*A brief survey of cartesian functors
29 Jul 11:16 2014Jean Bénabou
*A brief survey of cartesian functors
29 Jul 09:02 2014George Janelidze
*A brief survey of cartesian functors
29 Jul 00:05 2014Keith Harbaugh
*Les Distributeurs as a TAC Reprint
28 Jul 22:35 2014Michael Barr
*Site for my papers
28 Jul 19:36 2014Jean Bénabou
*A brief survey of cartesian functors
28 Jul 16:33 2014Paoli, Simona (Dr.
*Lectureship at the University of Leicester
28 Jul 16:13 2014Jean Bénabou
*The paper you sent me
28 Jul 13:58 2014Jean Bénabou
*A brief survey of cartesian functors
28 Jul 11:54 2014Jean Bénabou
*A brief survey of cartesian functors
28 Jul 12:52 2014George Janelidze
**A brief survey of cartesian functors
28 Jul 17:32 2014Eduardo J. Dubuc
**A brief survey of cartesian functors
28 Jul 17:53 2014Joyal, André
**A brief survey of cartesian functors
1 Aug 12:35 2014Paul Levy
**A brief survey of cartesian functors
27 Jul 21:15 2014Tom Leinster
*New book: Basic Category Theory
29 Jul 20:40 2014Harley D. Eades III
**New book: Basic Category Theory
26 Jul 04:12 2014David Roberts
*Moerdijk's talk at CT2014
29 Jul 10:04 2014David Roberts
**Moerdijk's talk at CT2014
26 Jul 04:04 2014David Roberts
*Final objects in 2-categories
28 Jul 01:12 2014Eduardo J. Dubuc
**Final objects in 2-categories
25 Jul 01:27 2014wlawvere
*Stephen H. Schanuel
25 Jul 02:41 2014Ross Street
**Stephen H. Schanuel
25 Jul 04:04 2014Michael Barr
**Stephen H. Schanuel
26 Jul 11:45 2014alberto peruzzi
**Stephen H. Schanuel
31 Jul 09:32 2014Marco Grandis
**Stephen H. Schanuel
1 Aug 04:42 2014Fred E.J. Linton
**Stephen H. Schanuel
24 Jul 16:53 2014Adam Gal
*Preprint: Symmetric self-adjoint Hopf categories and a categorical Hei
24 Jul 16:52 2014Adam Gal
*Final objects in 2-categories
26 Jul 15:40 2014Jonathan CHICHE 齊正航
**Final objects in 2-categories
24 Jul 05:48 2014Jean Bénabou
*A remark about Street fibrations
23 Jul 07:42 2014Jean Bénabou
*A remark about Street fibrations
24 Jul 00:03 2014Ross Street
**A remark about Street fibrations
22 Jul 23:52 2014Ross Street
*Composition of Fibrations
22 Jul 16:55 2014Steve Vickers
*Composition of Fibrations
22 Jul 06:24 2014Jean Bénabou
*Composition of Fibrations
21 Jul 23:41 2014Mike Stay
*Double category question
24 Jul 17:02 2014Robert Dawson
**Double category question
21 Jul 22:06 2014Steve Vickers
*Composition of Fibrations
21 Jul 20:02 2014Jean Bénabou
*Composition of Fibrations
20 Jul 18:18 2014Jean Bénabou
*Composition of Fibrations
21 Jul 14:30 2014Steve Vickers
**Composition of Fibrations
23 Jul 01:25 2014Eduardo J. Dubuc
**Composition of Fibrations
30 Jul 17:06 2014Thomas Streicher
**cleavages and choice
3 Aug 11:22 2014Thomas Streicher
**cleavages and choice
3 Aug 22:41 2014Eduardo J. Dubuc
***cleavages and choice
11 Jul 00:29 2014Keith Harbaugh
*Kelly: 'Equivalences in 2-categories, representations, and biadjoints'
10 Jul 17:11 2014Townsend, Christopher
*Conjecture about algebras of the double power locale monad
10 Jul 08:53 2014Richard Garner
*Preprint sought
11 Jul 00:16 2014Richard Garner
**Preprint sought
11 Jul 16:31 2014matias
***Preprint sought
22 Jul 17:46 2014Olivia Caramello
****Preprint sought
10 Jul 01:00 2014Michael Shulman
*generalised cartesian multicategories
9 Jul 20:01 2014Giuseppe Metere
*PSSL96: Third announcement
9 Jul 19:39 2014Michael Shulman
*functors defined by well-founded induction
10 Jul 14:40 2014Oosten, J. van
**functors defined by well-founded induction
30 Jul 14:37 2014Tadeusz Litak
***functors defined by well-founded induction
8 Jul 09:06 2014Tom Hirschowitz
*generalised cartesian multicategories
8 Jul 05:11 2014Michael Shulman
*functors defined by well-founded induction
9 Jul 11:39 2014Paul Taylor
**functors defined by well-founded induction
8 Jul 05:07 2014Michael Shulman
*generalised cartesian multicategories
7 Jul 23:09 2014Jonathan CHICHE
*Comma 2-categories (reference request)
6 Jul 14:45 2014Michael Barr
*"classical" computability theory and the category of Sets
4 Jul 13:12 2014Bob Coecke
*3 postdoc positions at Oxford, CS, Quantum Group
3 Jul 12:57 2014Ondrej Rypacek
*Limits in REL
4 Jul 09:45 2014Peter Johnstone
**Limits in REL
5 Jul 09:11 2014René Guitart
***Limits in REL
4 Jul 13:55 2014Uday S Reddy
**Limits in REL
4 Jul 15:09 2014Marco Grandis
**Limits in REL
5 Jul 14:38 2014Pino Rosolini
**Limits in REL
7 Jul 00:43 2014Pawel Sobocinski
**Limits in REL
7 Jul 12:03 2014Ondrej Rypacek
**Limits in REL
25 Jul 14:51 2014Ondrej Rypacek
***Limits in REL