27 Oct 05:37 2014Venkata Rayudu Posina
*Double Dualization: Functions on vs. Figures in
24 Oct 17:19 2014Michael Barr
*Limit-sketchability
27 Oct 12:22 2014Jiri Adamek
**Limit-sketchability
23 Oct 14:18 2014Marino Gran
*Workshop in Category Theory and Algebraic Topology
20 Oct 21:19 2014Michael Winter
*CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2015
19 Oct 13:40 2014Michael Barr
*Journal pricing
18 Oct 20:02 2014Vladimir Voevodsky
*non-unital monads
19 Oct 23:28 2014Tom Leinster
**non-unital monads
20 Oct 11:31 2014Peter Johnstone
**non-unital monads
20 Oct 18:47 2014Marek Zawadowski
**non-unital monads
20 Oct 20:22 2014Vladimir Voevodsky
**non-unital monads
20 Oct 23:02 2014Tarmo Uustalu
**non-unital monads
21 Oct 01:22 2014Richard Garner
***non-unital monads
14 Oct 14:18 2014Tim Van der Linden
*PSSL97 - First announcement
11 Oct 13:02 2014Andrzej Murawski
*LICS 2015 - First Call for Papers
10 Oct 19:55 2014Jamie Vicary
*Coherence for tricategories
10 Oct 15:57 2014José Pedro Magalhães
*Mathematics of Program Construction (MPC 2015): first call for papers
2 Oct 09:37 2014Thomas Streicher
*a note on sources of my text of fibered categories
3 Oct 23:27 2014Ronnie Brown
**a note on sources of my text of fibered categories
25 Sep 20:00 2014wlawvere
*Dietmar Schumacher
25 Sep 19:31 2014Aleks Kissinger
*Soundness of commutative diagram proofs
25 Sep 20:44 2014ralphw
**Soundness of commutative diagram proofs
26 Sep 03:29 2014Adam Gal
**Soundness of commutative diagram proofs
25 Sep 17:15 2014Neil Ghani
*5Yr Fellowships
23 Sep 22:39 2014Scott Morrison
*K-Theory Foundation
24 Sep 00:56 2014Jason Erbele
*Reference search: new categories by replacing morphisms with diagrams
24 Sep 20:49 2014Jason Erbele
**Reference search: new categories by replacing morphisms with diagrams
25 Sep 21:52 2014Steve Lack
***Reference search: new categories by replacing morphisms with diagrams
26 Sep 23:14 2014Robin Cockett
**Reference search: new categories by replacing morphisms with diagrams
24 Sep 12:59 2014Ieke Moerdijk
*tenure(track) position in Nijmegen, The Netherlands
21 Sep 21:16 2014Robert Pare
*Dietmar Schumacher
22 Sep 06:41 2014Ross Street
**Dietmar Schumacher
22 Sep 09:20 2014Marco Grandis
**Dietmar Schumacher
22 Sep 09:58 2014George Janelidze
**Dietmar Schumacher
23 Sep 03:14 2014Moneesha Mehta
**Dietmar Schumacher
23 Sep 03:23 2014tholen
**Dietmar Schumacher
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