29 Jan 01:59 2015Michael Barr
*Category Theory for the Sciences
28 Jan 19:59 2015Marco Grandis
*Preprint: An introduction to multiple categories
27 Jan 16:23 2015European Association of Comput
*Ackermann Award 2015
23 Jan 14:26 2015Patricia Johann
*Postdoc Position Available
22 Jan 08:41 2015Rasmus Ejlers Møgelberg
*Post doc available at the IT University of Copenhagen
22 Jan 01:21 2015Philip Mulry
*FMCS2015 - First Announcement (fwd)
19 Jan 16:18 2015Giuseppe Metere
*CatAlg2015 - 3rd Workshop in Categorical Algebra *** First Announcemen
16 Jan 17:09 2015Pierre Clairambault
*Final CfP: GaLoP 2015
16 Jan 19:33 2015Dan Christensen
*fully funded graduate positions in math at UWO
12 Jan 18:23 2015Michael Winter
*3rd CFP: Relational and Algebraic Methods in Computer Science (RAMiCS
8 Jan 18:48 2015S B Cooper
*CiE 2015 in Bucharest - FINAL CALL FOR PAPERS and EXTENDED DEADLINE, 2
8 Jan 00:19 2015Mark Weber
*Semi-strict n-categories
6 Jan 08:17 2015Venkata Rayudu Posina
*Cohesion and the category of categories
6 Jan 12:10 2015Jamie Vicary
*Semistrict n-categories
29 Dec 00:36 2014Mike Stay
*Fwd: Internalizing n-cells to (n-1)-cells
30 Dec 11:47 2014Ronnie Brown
**Internalizing n-cells to (n-1)-cells
28 Dec 22:52 2014Emily Riehl
*a call for examples
1 Jan 18:47 2015Ronnie Brown
**a call for examples
5 Jan 05:12 2015Ross Street
***a call for examples
2 Jan 10:04 2015Richard Garner
**a call for examples
28 Dec 09:51 2014Martin Steffen
*FM 2015: Final Call for Papers (20th Intl. Symposium on Formal Methods
23 Dec 18:12 2014Giuseppe Metere
**** Preliminary Announcement *** CatAlg2015 - Workshop in Categorical
22 Dec 18:57 2014Pierre Clairambault
*GaLoP 2015: Workshop on Games for Logic and Programming Languages
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