17 Dec 10:16 2014Luca Spada
*TACL2015 call for extended abstracts
16 Dec 12:10 2014Jeremy Gibbons
*Nominations for John C Reynolds Distinguished Dissertation Award
15 Dec 21:23 2014Marino Gran
*New Editorial Board of the "Cahiers"
15 Dec 16:14 2014Dan Christensen
*postdoctoral positions at U. Western Ontario
16 Dec 04:13 2014Bob Rosebrugh
*BOUNCE categories@mta.ca: Approval required: (fwd)
14 Dec 17:47 2014Alessio Guglielmi
*3.5-year PhD positions from October 2015 at the University of Bath
13 Dec 10:19 2014Fred E.J. Linton
*Achieving "neither P nor not P"
14 Dec 00:57 2014Vaughan Pratt
**Achieving "neither P nor not P"
14 Dec 21:08 2014Fred E.J. Linton
**Achieving "neither P nor not P"
15 Dec 11:03 2014Steve Vickers
**Achieving "neither P nor not P"
15 Dec 19:00 2014Vaughan Pratt
***Achieving "neither P nor not P"
13 Dec 10:02 2014Jiří Rosický
*research positions
12 Dec 22:56 2014Harley Eades III
*Open problems
14 Dec 19:12 2014Vaughan Pratt
**Open problems
15 Dec 00:35 2014Michael Barr
***Open problems
11 Dec 23:12 2014Dee Roytenberg
*Applications of (higher) category theory to computer science
11 Dec 14:38 2014Dee Roytenberg
*Applications of (higher) category theory to computer science
11 Dec 15:47 2014Harley Eades III
**Applications of (higher) category theory to computer science
11 Dec 16:45 2014Kyle Marek-Spartz
**Applications of (higher) category theory to computer science
12 Dec 05:05 2014Linton, Fred
**Applications of (higher) category theory to computer science
12 Dec 19:04 2014Kyle Marek-Spartz
***Applications of (higher) category theory to computer science
13 Dec 22:07 2014Urs Schreiber
**Applications of (higher) category theory to computer science
13 Dec 22:37 2014Fred E.J. Linton
**Applications of (higher) category theory to computer science
4 Dec 13:05 2014Neil Ghani
*2 Postdocs in HoTT
3 Dec 12:10 2014Nils Carqueville
*postdoc position in Vienna
3 Dec 11:16 2014Chris Heunen
*QPL 2015: Call for papers
3 Dec 10:14 2014Tobias Philipp
*The European Master's Program in Computational Logic
2 Dec 15:35 2014Dimitri Zaganidis
*Fwd: Young Topologists' Meeting 2015
1 Dec 12:15 2014Reiko Heckel
*GTA positions available (funded PhD)
30 Nov 19:21 2014Jorge Picado
*PhD Positions, UC|UP Joint PhD Program in Mathematics, Portugal
29 Nov 13:52 2014Dirk Hofmann
*CT 2015 (Second announcement)
29 Nov 00:53 2014David Roberts
*Simplified definition of scheme proposed by Grothendieck
28 Nov 08:25 2014George Janelidze
*JHRS Volume dedicated to Ronald Brown
28 Nov 07:34 2014David Roberts
*Simplified definition of scheme proposed by Grothendieck
28 Nov 14:53 2014Venkata Rayudu Posina
**Simplified definition of scheme proposed by Grothendieck
26 Nov 14:20 2014list-announcer
*Doctoral Program on Logical Methods in Computer Science (LogiCS)
26 Nov 01:02 2014David Roberts
*Well-kept secret redux
26 Nov 17:57 2014Joyal, André
**Well-kept secret redux
25 Nov 10:20 2014Zanasi Fabio
*CALCO 2015: First Call for Papers
24 Nov 16:36 2014Michael Winter
*2nd CFP: Relational and Algebraic Methods in Computer Science (RAMiCS
21 Nov 05:33 2014Venkata Rayudu Posina
*Grothendieck, Topos theory, and the Lawvere element
20 Nov 14:49 2014Bob Coecke
*15 funded PhD positions
18 Nov 03:54 2014Joyal, André
*Alexandre Grothendieck
17 Nov 17:35 2014John Duskin
*Contact with Grothendieck
18 Nov 11:32 2014Michael Barr
**Contact with Grothendieck
14 Nov 17:24 2014Jocelyn Ireson-Paine
*Category-theory interactive demonstrations on the Web
14 Nov 03:50 2014Moh'd Alsani
*Grothendieck
14 Nov 03:08 2014Joyal, André
*Alexandre Grothendieck
14 Nov 13:36 2014Ieke Moerdijk
**Alexandre Grothendieck
14 Nov 16:52 2014Jelle Herold
***Alexandre Grothendieck
14 Nov 17:39 2014Valeria de Paiva
**Alexandre Grothendieck
18 Nov 01:12 2014Fred E.J. Linton
**Alexandre Grothendieck
13 Nov 17:01 2014Paoli, Simona (Dr.
*First YaMCATS meeting: December 18, Leicester (UK)
12 Nov 19:46 2014Garraway, Dale
*Request for a reference
13 Nov 22:07 2014Paul B Levy
**Request for a reference
10 Nov 20:49 2014Tom Leinster
*Research fellowship at Edinburgh
10 Nov 02:42 2014David Roberts
*NNOs in different toposes "the same"?
11 Nov 14:01 2014Claudio Hermida
**NNOs in different toposes "the same"?
11 Nov 23:14 2014David Roberts
***NNOs in different toposes "the same"?
12 Nov 12:37 2014Peter Johnstone
**NNOs in different toposes "the same"?
6 Nov 02:51 2014David Roberts
*Journal of K-Theory effectively defunct
5 Nov 13:24 2014David White
*Tenure Track Position at Denison University
5 Nov 23:27 2014Steve Lack
*jobs at Macquarie
3 Nov 06:38 2014Steve Lack
*jobs at Macquarie
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