23 May 2013 00:01Bartek Klin
*PhD positions in bialgebraic semantics in Warsaw
22 May 2013 12:45Pierre Clairambault
*Post-doctoral Position at the University of Cambridge
22 May 2013 13:18Bob Coecke
*samson@60, 28-30 May 2013 Full Program
18 May 2013 10:35Maria Emilia Maietti
*Call for Papers- special issue APAL
16 May 2013 11:46Richard Garner
*CT2013 - early bird registration
14 May 2013 11:27hilde
*GlynnFest Workshop, May 31st and June 1st, Cambridge University Comput
13 May 2013 14:50majordomo
*Zig Zags?
10 May 2013 15:05Emily Riehl
*on a subcategory of algebras for a monad
11 May 2013 07:09Fred E.J. Linton
**on a subcategory of algebras for a monad
14 May 2013 17:49F. William Lawvere
***on a subcategory of algebras for a monad
13 May 2013 10:15Fred E.J. Linton
**on a subcategory of algebras for a monad
9 May 2013 05:07David Roberts
*(In)accessible comonads and (non)Grothendieck toposes
11 May 2013 17:26Prof. Peter Johnstone
**(In)accessible comonads and (non)Grothendieck toposes
8 May 2013 16:55Tom Leinster
*Reminder: CT2013 abstracts
8 May 2013 11:34Marek Zawadowski
*Samuel Eilenberg Centenary Conference - Second Announcement
7 May 2013 23:05Marek Zawadowski
*PhD program in Warsaw
7 May 2013 19:26Eduardo J. Dubuc
*indexed_vs_fibrations
7 May 2013 10:23Jean Bénabou
*"Terminolgy" re-visited
7 May 2013 18:15Toby Bartels
**"Terminolgy" re-visited
6 May 2013 14:27Sergey Goncharov
*Internal truth objects
8 May 2013 07:24Patrik Eklund
**Internal truth objects
4 May 2013 01:22Marta Bunge
*Terminology: Remarks
3 May 2013 16:55Jeremy.Gibbons
*Foundations of Health Information Engineering and Systems (FHIES 2013)
3 May 2013 15:36Erik Palmgren
*Professorship in Mathematics with focus on Geometry (Stockholm Univers
3 May 2013 17:46Sergey Goncharov
*Internal truth objects
4 May 2013 21:46Philip Scott
**Internal truth objects
3 May 2013 01:25Andrzej Murawski
*LICS 2013 - Call for Participation
3 May 2013 07:22Hvedri Inassaridze
*announcement
2 May 2013 08:31Tom Leinster
*CT2013 abstracts
1 May 2013 22:29Tom Leinster
*CT2013 abstracts
1 May 2013 07:17Jean Bénabou
*Terminology: Remarks
2 May 2013 08:46Toby Bartels
**Terminology: Remarks
3 May 2013 01:47Tom Leinster
***Terminology: Remarks
3 May 2013 06:53Jean Bénabou
***Terminology: Remarks
3 May 2013 03:41Eduardo J. Dubuc
***Terminology: Remarks
4 May 2013 07:34Toby Bartels
**Terminology: Remarks
30 Apr 2013 15:28Pierre-Louis Curien
*"Semantics of proofs and certified mathematics", IHP trimester, Paris,
29 Apr 2013 00:47Olivier Gerard
*Terminology
28 Apr 2013 10:31Dr. Keith G. Bowden
*categories of Categories
28 Apr 2013 10:04Marino Gran
*Special Volume in honour of Rene Guitart - extended deadline
28 Apr 2013 05:49Jean Bénabou
*Terminology
26 Apr 2013 17:40Eduardo J. Dubuc
*correction
26 Apr 2013 16:05Eduardo Pareja-Tobes
*Name for a concept?
25 Apr 2013 05:14David Yetter
*Name for a concept?
25 Apr 2013 16:19Aleks Kissinger
**Name for a concept?
26 Apr 2013 03:05Eduardo J. Dubuc
***Name for a concept?
25 Apr 2013 16:37Prof. Peter Johnstone
**Name for a concept?
25 Apr 2013 20:47Eduardo Pareja-Tobes
**Name for a concept?
26 Apr 2013 16:07M. Bjerrum
***Name for a concept?
26 Apr 2013 12:44Paul Taylor
**Name for a concept?
26 Apr 2013 15:03M. Bjerrum
**Name for a concept?
27 Apr 2013 15:58Michael Barr
**Name for a concept?
24 Apr 2013 11:09chiche
*Conference in honour of Georges Maltsiniotis
24 Apr 2013 19:13Jean Bénabou
*Terminology
25 Apr 2013 01:04David Roberts
**Terminology
27 Apr 2013 15:08Thomas Streicher
**Terminology
28 Apr 2013 16:17Thomas Streicher
**Terminology
29 Apr 2013 22:05Toby Bartels
***Terminology
30 Apr 2013 02:58Peter May
****Terminology
30 Apr 2013 03:20Fred E.J. Linton
**Terminology
2 May 2013 05:57Fred E.J. Linton
**Terminology
2 May 2013 05:57Fred E.J. Linton
**Terminology
3 May 2013 13:53Robert Dawson
***Terminology
23 Apr 2013 20:36Bob Rosebrugh
*FMCS 2013: May 31st - June 3rd (Second Announcement)
23 Apr 2013 18:39Marino Gran
*Summer School in Louvain-la-Neuve: second announcement
19 Apr 2013 17:25Geoff Sutcliffe
*CADE-24 Call for Participation
16 Apr 2013 23:06Neil Ghani
*RA Position available
14 Apr 2013 13:54Frank Veltman
*ESSLLI 2014 Call for Proposals
12 Apr 2013 20:38Jeremy.Gibbons
*Foundations of Health Information Engineering and Systems (FHIES 2013)
12 Apr 2013 01:58Moh'd Alsani
*Firefox built-in browser PDF viewer
11 Apr 2013 17:45Paul Levy
*PhD opportunities in the Computer Science theory group at Birmingham
11 Apr 2013 07:33claudio pisani
*New preprint on multicategories
8 Apr 2013 13:46Alexandra Silva
*CALCO Tools 2013: Deadline Extension
6 Apr 2013 22:22Jonathan CHICHE 齊正航
*Reference: equivalences can be made into adjunctions
8 Apr 2013 12:09Jean Bénabou
**Reference: equivalences can be made into adjunctions
8 Apr 2013 09:57Paul Levy
**Reference: equivalences can be made into adjunctions
5 Apr 2013 16:09Michael Shulman
*Announcement -- special session on higher categories
5 Apr 2013 05:00Steve Lack
*CT2013
5 Apr 2013 00:16mernst
*Workshop on Category-Theoretic Foundations of Mathematics
4 Apr 2013 13:19Jocelyn Ireson-Paine
*Contacts towards funding category-theory demonstrations
31 Mar 2013 13:58Bob Coecke
*Call for participation: Samson@60 - Oxford, 28-30 May 2013
29 Mar 2013 17:03Ralph Matthes
*Types Meeting 2013 in Toulouse, 22 - 26 April: 2nd call for participat
29 Mar 2013 17:10Alexandra Silva
*CALL FOR CONTRIBUTIONS: CALCO Early Ideas 2013
26 Mar 2013 12:35Alexandra Silva
*CALL FOR PAPERS: CALCO Tools 2013
22 Mar 2013 16:41Marino Gran
*Seminaire Itinerant de Categories
21 Mar 2013 18:21Dusko Pavlovic
*Question on (co)monoids
18 Mar 2013 18:46Ralph Matthes
*Types Meeting 2013 in Toulouse, 22 - 26 April: call for participation
18 Mar 2013 18:35Alessio Guglielmi
*PhD Research Project: Efficient and Natural Proof Systems
18 Mar 2013 13:59Bob Coecke
*Call for papers: Quantum Physics and Logic, JULY 2013, Barcelona.
18 Mar 2013 11:25James Dolan
*looking for phd program
15 Mar 2013 15:22Jeff Egger
*Question on (co)monoids
14 Mar 2013 23:10Tarmo Uustalu
*ICFP 2013, 2nd call for papers
13 Mar 2013 18:44Eugenia Cheng
*PSSL 94 and British Mathematical Colloquium: talk schedule
12 Mar 2013 21:06Marco Grandis
*A second book on homological algebra
11 Mar 2013 18:00Marco Grandis
*An old paper on 'cohesive categories'
6 Mar 2013 19:59Fabio Gadducci
*ACCAT 2013: final call for participation and invitation to discussion
5 Mar 2013 04:11Jeremy.Gibbons
*Research Assistantship at Oxford on Bidirectional Transformations
27 Feb 2013 12:36Guy McCusker
*BCTCS 2013: call for participation. More student bursaries now availab
25 Feb 2013 18:43Alexandra Silva
*CALCO 2013: Deadline Extension
25 Feb 2013 17:40Anuj Dawar
*Ackermann Award 2013 - Call for Nominations