29 Jul 07:54 2015Patrik Eklund
*Current Issues in the Philosophy of Practice of Mathematics & Informat
28 Jul 18:07 2015Dirk Hofmann
*CT2015 slides and pictures
24 Jul 11:12 2015Ralph Matthes
*Current Issues in the Philosophy of Practice of Mathematics & Informat
25 Jul 15:57 2015Graham White
**Current Issues in the Philosophy of Practice of Mathematics & Informat
26 Jul 17:33 2015Patrik Eklund
**Current Issues in the Philosophy of Practice of Mathematics & Informat
29 Jul 03:42 2015Martin Escardo
***Current Issues in the Philosophy of Practice of Mathematics & Informat
29 Jul 15:56 2015Robert Dawson
***Current Issues in the Philosophy of Practice of Mathematics & Informat
23 Jul 19:09 2015Fernando Muro
*'Dérivateurs à Barcelone' final announcement
23 Jul 16:03 2015Michael Winter
*CALL FOR PARTICIPATION (RAMiCS 2015)
22 Jul 04:29 2015wlawvere
*Correction: Steve's legacy
21 Jul 17:38 2015wlawvere
*The Legacy of Steve Schanuel!
20 Jul 09:38 2015Dirk Pattinson
*PhD Position in Verified Voting at ANU
14 Jul 09:59 2015Marino Gran
*Workshop in Category Theory and Algebraic Topology
6 Jul 16:03 2015Fernando Muro
*postdoc in Seville
28 Jun 05:18 2015Linton, Fred
*Math ML in recent headlines
29 Jun 02:46 2015David Roberts
**Math ML in recent headlines
26 Jun 11:23 2015Julian Gutierrez
*Final call for papers: SR 2015, Oxford, Sept 21-22, UK
26 Jun 03:28 2015Michael Barr
*Updated URL
25 Jun 14:34 2015Uwe Egbert Wolter
*Categories with hyperedges?
30 Jun 22:27 2015Joachim Kock
**Categories with hyperedges?
23 Jun 18:45 2015Michael Barr
*Annivsrsary of Jim Lambek's death
20 Jun 03:24 2015Olivia Caramello
*"Topos à l'IHES" - first announcement
13 Jun 20:30 2015pjf
*Another great Cheng review: NYTimes
11 Jun 14:30 2015Jiří Rosický
*positions
9 Jun 08:13 2015David Roberts
*On the issue of Replacement
11 Jun 04:44 2015Fred E.J. Linton
**On the issue of Replacement
8 Jun 20:54 2015Michael Winter
*FINAL CALL FOR PhD/MSc Contributions (RAMiCS 2015)
8 Jun 15:53 2015Ralph Matthes
*FICS'15: 2nd call for papers - Fixed Points in Computer Science (CSL'1
7 Jun 23:11 2015Fred E.J. Linton
*On "Degrees of Truth" (PDF on the web)
7 Jun 13:59 2015Dirk Hofmann
*CT2015: Information before arrival
7 Jun 04:01 2015Mike Stay
*2-cells in bicategories as bivectors
4 Jun 16:11 2015Peter Johnstone
*worth looking at
2 Jun 16:25 2015Chris Heunen
*QPL 2015: Call for participation
31 May 17:18 2015Eduardo J. Dubuc
*3 tensors in a 2-category ?
29 May 12:55 2015Anuj Dawar
*British Logic Colloquium 2015
29 May 11:48 2015list-announcer
*New Doctoral Program on Logical Methods in Computer Science (LogiCS)
26 May 04:45 2015Linton, Fred
*John Nash (†)
25 May 12:55 2015Fernando Muro
*'Dérivateurs à Barcelone' 2nd announcement
19 May 15:14 2015fabio.zanasi
*MFPS XXXI/CALCO 2015 : Call for Participation
13 May 22:56 2015Philip Mulry
*FMCS 2015 - Final Announcement
11 May 20:00 2015S B Cooper
*CiE 2015 in Bucharest - Call for Participation
8 May 14:24 2015Fernando Muro
*'Dérivateurs à Barcelone’ conference announcement
8 May 09:16 2015Alex Simpson
*PhD position available
2 May 21:32 2015Zhen Lin Low
*Are Joyal--Tierney fibrations exponentiable?
1 May 22:57 2015Tarmo Uustalu
*TYPES 2015 call for participation
1 May 15:04 2015Zhen Lin Low
*Are Joyal--Tierney fibrations exponentiable?
2 May 10:50 2015Thomas Streicher
**Are Joyal--Tierney fibrations exponentiable?
30 Apr 16:13 2015Ralph Matthes
*FICS'15 Call for papers - Fixed Points in Computer Science (CSL'15 wor
28 Apr 18:57 2015Dirk Hofmann
*CT 2015 Special Lecture
22 Apr 14:50 2015Jeremy Gibbons
*Associate Professorship in Data Science at Oxford (Continuing Educatio
22 Apr 11:59 2015RONALD BROWN
*Philip J Higgins
22 Apr 20:57 2015Linton, Fred
**Philip J Higgins
23 Apr 04:14 2015Eduardo J. Dubuc
***Philip J Higgins
20 Apr 08:04 2015Helle Hvid Hansen
*ALCOP 2015 -- Call for participation
19 Apr 21:46 2015Peter Selinger
*Postdoctoral fellowship at Dalhousie with 50% outreach, 50% research
18 Apr 17:45 2015Joost Vercruysse
*New trends in Hopf algebras and tensor categories
17 Apr 14:24 2015Jiri Adamek
*A preprint on locally presentable categories available
17 Apr 09:45 2015Tobias Philipp
*The European Master's Program in Computational Logic: Application unti
16 Apr 17:27 2015Philippe Malbos
*Conference on Homotopy in Concurrency and Rewriting
16 Apr 12:49 2015Giuseppe Metere
*CatAlg2015 - 3rd Workshop in Categorical Algebra *** Second Announceme
15 Apr 20:02 2015Michael Winter
*2nd CALL FOR PhD/MSc Contributions (RAMiCS 2015)
13 Apr 14:17 2015Jorge Picado
*3 PostDoc research positions in Coimbra
13 Apr 11:43 2015Nicola Gambino
*Lectureship in Pure Mathematics at the University of Leeds
9 Apr 16:58 2015fabio.zanasi
*CALCO Early Ideas 2015 : Call for Contributions
1 Apr 05:45 2015Robert Seely
*Tribute essay honouring Jim Lambek
30 Mar 20:56 2015Phil Mulry
*FMCS 2015 - Second Announcement
30 Mar 16:59 2015Ronnie Brown
*cubical homotopy
26 Mar 13:45 2015Michael Barr
*coequalizers in the category of algebras for the double powerset tripl
27 Mar 17:30 2015Fred E.J. Linton
**coequalizers in the category of algebras for the double powerset tripl
26 Mar 02:27 2015Richard Garner
*Tensor product of left exact morphisms
26 Mar 16:00 2015Joyal, André
**Tensor product of left exact morphisms
27 Mar 00:08 2015Richard Garner
**Tensor product of left exact morphisms
27 Mar 14:08 2015henry
***Tensor product of left exact morphisms
28 Mar 09:40 2015Richard Garner
****Tensor product of left exact morphisms
25 Mar 14:22 2015Dirk Hofmann
*CT 2015 (abstract submission)
24 Mar 12:44 2015Townsend, Christopher
*Question about coequalizers in the category of algebras of the double
25 Mar 09:16 2015Paul Taylor
**Question about coequalizers in the category of algebras of the double
19 Mar 08:39 2015Marino Gran
*Workshop in category theory and algebraic topology (UCL): 2nd announce
18 Mar 17:29 2015European Association of Comput
*Ackermann Award 2015
17 Mar 15:25 2015David Yetter
*A coherence theorem question
17 Mar 22:18 2015Paul B Levy
**A coherence theorem question
17 Mar 00:12 2015Robin Cockett
*Partial functors ..
17 Mar 16:04 2015David Yetter
**Partial functors ..
17 Mar 21:31 2015Robin Cockett
***Partial functors ..
17 Mar 22:05 2015Sergei Soloviev
***Partial functors ..
18 Mar 01:47 2015Ross Street
***Partial functors ..
18 Mar 22:36 2015Steve Lack
****Partial functors ..
18 Mar 09:44 2015henry
***Partial functors ..
17 Mar 20:08 2015Giorgio Mossa
**Partial functors ..
18 Mar 08:03 2015Fred E.J. Linton
**Partial functors ..
16 Mar 17:25 2015Bob Rosebrugh
*Easik 3.0: (correction)
16 Mar 14:07 2015Michael Winter
*CALL FOR PhD/MSc Contributions (RAMiCS 2015)
12 Mar 01:45 2015Bob Rosebrugh
*Easik 3.0: categorical database design and manipulation
15 Mar 22:16 2015Tarmo Uustalu
*TYPES 2015 submission deadline extended
15 Mar 12:54 2015Ronnie Brown
*influence of groupoids on the category definition
14 Mar 17:32 2015Hans-E. Porst
*Horst Herrlich
15 Mar 05:09 2015Fred E.J. Linton
**Horst Herrlich
15 Mar 09:02 2015Björn Gohla
**Horst Herrlich
16 Mar 16:37 2015Jiri Adamek
**Horst Herrlich
17 Mar 13:41 2015Lutz Schröder
***Horst Herrlich