18 Sep 12:59 2014Edward A. Hirsch
*CSR 2015: First Call for Papers
17 Sep 14:59 2014Jiri Adamek
*papers on colimits of monads available
14 Sep 02:28 2014Dana Scott
*looking for a reference...
14 Sep 16:41 2014Eduardo J. Dubuc
**looking for a reference...
14 Sep 21:10 2014Fred E.J. Linton
**looking for a reference...
10 Sep 10:40 2014Dirk Hofmann
*CT2015
5 Sep 02:41 2014Bob Rosebrugh
*Refining the function of the Categories List
1 Sep 11:12 2014Timothy Revell
*Is the category of group actions LCCC?
3 Sep 03:01 2014Steve Lack
**Is the category of group actions LCCC?
4 Sep 02:19 2014Ross Street
**Is the category of group actions LCCC?
4 Sep 18:00 2014Clemens.BERGER
***Is the category of group actions LCCC?
5 Sep 03:05 2014Richard Garner
***Is the category of group actions LCCC?
5 Sep 20:33 2014Claudio Hermida
****Is the category of group actions LCCC?
5 Sep 03:17 2014Richard Garner
***Is the category of group actions LCCC?
5 Sep 20:33 2014Claudio Hermida
***Is the category of group actions LCCC?
4 Sep 15:16 2014pjf
**Is the category of group actions LCCC
6 Sep 09:47 2014Fred E.J. Linton
**Is the category of group actions LCCC?
28 Aug 23:43 2014Michael Lambek
*celebration of Jim Lambek
27 Aug 07:05 2014Toby Bartels
*Uniform locales in Shv(X)
28 Aug 19:10 2014Toby Bartels
**Uniform locales in Shv(X)
29 Aug 17:29 2014Giovanni Curi
**Uniform locales in Shv(X)
25 Aug 22:24 2014henry
*Uniform locales in Shv(X)
25 Aug 21:24 2014Valeria de Paiva
*Grigori (Grisha) Mints
22 Aug 07:42 2014Jamie Vicary
*V-Cat, V-Prof as symmetric monoidal bicategories
22 Aug 04:24 2014Jeff Egger
*Uniform locales in Shv(X)
22 Aug 17:15 2014Toby Bartels
**Uniform locales in Shv(X)
21 Aug 01:25 2014Jeff Egger
*Uniform locales in Shv(X)
21 Aug 16:51 2014henry
**Uniform locales in Shv(X)
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 Sep 14:07 2014Harley Eades III
**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