8 Feb 16:30palmgren
*Call for Papers: 8th SCANDINAVIAN LOGIC SYMPOSIUM 20-21 August 2012 at
8 Feb 21:29Ohad Kammar
*Pullbacks of a family of arrows
9 Feb 16:02Robin Houston
**Pullbacks of a family of arrows
6 Feb 16:28Andrej Bauer
*Announcement: Fourth Workshop on Formal Topology (4WFTop) and Workshop
5 Feb 22:43Joyal, André
*about to go up in smoke?
4 Feb 13:52ams
*CMCS 2012: Call for Participation and Short Contributions
2 Feb 06:51David Spivak
*question about discrete op-fibrations
3 Feb 15:07Thorsten Palm
**question about discrete op-fibrations
1 Feb 01:03David Spivak
*question about discrete op-fibrations
2 Feb 00:29Mark Weber
**question about discrete op-fibrations
2 Feb 11:22Thorsten Palm
**question about discrete op-fibrations
31 Jan 00:14Eduardo J. Dubuc
*the cost of knowledge
29 Jan 22:46Eduardo J. Dubuc
*cost of knowledge
30 Jan 21:07Fred E.J. Linton
**cost of knowledge
29 Jan 13:04David Chemouil
*Gowers petition against Elsevier
29 Jan 21:32Robert Seely
**Gowers petition against Elsevier
29 Jan 20:12Joyal, André
**discussing journals
4 Feb 21:37FEJ Linton
***discussing journals
9 Feb 03:15Joyal, André
****the IMU president signed
30 Jan 02:18David Roberts
**Gowers petition against Elsevier
28 Jan 23:27Joyal, André
*the cost of knowledge
28 Jan 20:56Michael Barr
*Gowers petition against Elsevier
29 Jan 21:53David Yetter
**Gowers petition against Elsevier
28 Jan 16:58Joyal, André
*the cost of knowledge
28 Jan 21:30Eduardo J. Dubuc
**the cost of knowledge
29 Jan 21:39David Yetter
***the cost of knowledge
26 Jan 20:00David Leduc
*Good identity
28 Jan 03:11David Leduc
**Good identity
26 Jan 18:17Charles Wells
*An introduction to forms
26 Jan 15:38Paul Levy
*MSFP 2012 call for participation
26 Jan 16:17Jamie Vicary
*Strict, skeletal version of Ab
21 Jan 10:22David Leduc
*product functor, abstractly
21 Jan 19:35Mike Stay
**product functor, abstractly
21 Jan 19:56Todd Trimble
**product functor, abstractly
22 Jan 02:50Fred E.J. Linton
**product functor, abstractly
27 Jan 16:58David Leduc
***product functor, abstractly
19 Jan 19:42Mislove, Michael W
*MFPS 28 Second Call for Papers
19 Jan 10:20Tarmo Uustalu
*ETAPS 2012 call for participation, early reg deadline 29 Jan. 2012
19 Jan 12:29S B Cooper
*Turing Centenary Conference (CiE 2012) - Final submission arrangements
17 Jan 13:35Davide Sangiorgi
*two books on bisimulation and coinduction
17 Jan 11:35Milner Symposium
*Milner Symposium, Edinburgh, 16-18 April 2012 - Call for Participation
17 Jan 00:18David Carchedi
*Description of the image of a faithful functor
16 Jan 20:52Vaughan Pratt
*What about biproducts?
16 Jan 10:41Vaughan Pratt
*What about biproducts?
11 Jan 18:52Peter Selinger
*FMCS 2012: June 14-17, Halifax
11 Jan 21:49Peter Selinger
**FMCS 2012: June 14-17, Halifax (minor correction)
11 Jan 14:59Julia Goedecke
*PSSL93 second announcement
7 Jan 13:38Michael Barr
*"Semi-additive" seems to be it
7 Jan 20:48George Janelidze
**"Semi-additive" seems to be it
8 Jan 22:14FEJ Linton
***"Semi-additive" seems to be it
9 Jan 09:47bourn
**"Semi-additive" seems to be it
9 Jan 20:39Robin Cockett
***"Semi-additive" seems to be it
14 Jan 00:36George Janelidze
****What about biproducts?
14 Jan 21:12Michael Barr
*****What about biproducts?
10 Jan 03:35Ross Street
***"Semi-additive" seems to be it
10 Jan 16:07Todd Trimble
****"Semi-additive" seems to be it
14 Jan 22:13rlk
***What about biproducts?
14 Jan 23:22Fred E.J. Linton
****What about biproducts?
16 Jan 08:42Vaughan Pratt
*****What about biproducts?
6 Jan 20:04Michael Barr
*Name for not-quite-additive categories
7 Jan 03:02George Janelidze
**Name for not-quite-additive categories
7 Jan 09:02Robin Houston
**Name for not-quite-additive categories
7 Jan 09:04rlk
**Name for not-quite-additive categories
7 Jan 12:29Prof. Peter Johnstone
**Name for not-quite-additive categories
2 Jan 12:51Marco Grandis
*Preprint
23 Dec 01:44Mamuka Jibladze
*Dito Pataraia
20 Dec 17:41Ohad Kammar
*Wraith's "Algebraic Theories" Scan
18 Dec 20:46George Janelidze
*CT 2011 Proceedings
18 Dec 20:46George Janelidze
**CT 2011 Proceedings
18 Dec 02:02Valeria de Paiva
*NASSLLI 2012 is Open for Registration!
17 Dec 20:06Paul Levy
*MSFP 2012 deadline extension
16 Dec 19:04Erik Palmgren
*Postdoc position in Mathematical Logic at Stockholm University
16 Dec 11:55Thomas Streicher
*connected sites etc.
15 Dec 21:27Joost Vercruysse
*open position at Universite Libre de Bruxelles
15 Dec 17:15Jeff Egger
*change of address
15 Dec 15:45Jeremy.Gibbons
*Mathematics of Program Construction: Second Call for Papers
15 Dec 10:25ams
*CMCS 2012: Final Call for Papers
15 Dec 09:30Eugenia Cheng
*Preprint: Distributive laws for Lawvere theories
14 Dec 21:44Jamie Vicary
*Looking for results on preservation of 2-coproducts
15 Dec 18:00RJ Wood
**Looking for results on preservation of 2-coproducts
14 Dec 22:35Eduardo J. Dubuc
*__?__
15 Dec 17:44Mike Stay
**__?__
15 Dec 23:16Andrej Bauer
**__?__
16 Dec 09:56Vaughan Pratt
**__?__
12 Dec 21:19David Carchedi
*When does a Grothendieck topology induce a homotopy equivalence?
12 Dec 11:26Thomas Soboll
*2nd CfP ACCAT Workshop 2012
9 Dec 14:35Bob Rosebrugh
*New Editors for TAC
8 Dec 09:25David CHEMOUIL
*permanent position at Onera
2 Dec 11:43Szlachanyi Kornel
*skew-monoidal category?
2 Dec 15:23Robin Houston
**skew-monoidal category?
6 Dec 10:30Marco Grandis
**skew-monoidal category?
7 Dec 18:30Szlachanyi Kornel
**skew-monoidal category?
2 Dec 06:43Ross Street
*Some papers
3 Dec 11:22Andrej Bauer
**Some papers
2 Dec 03:17Ross Street
*The category of categories as a 3-limit
1 Dec 16:24Tarmo Uustalu
*FICS 2012, 2nd Call for papers
29 Nov 11:10Marco Grandis
*'Directed Algebraic Topology', free online version
28 Nov 22:32Michael Mislove
*MFPS 28 Call for Papers
1 Dec 07:14Jocelyn Ireson-Paine
**Interactive demonstrations of categorical constructions
28 Nov 16:00Zoran Škoda
*Ph.D. scholarship in Liverpool: motives and stable model categories