April mini-school in Swansea
2012-02-29 8:42 UTC
Student funding for Milner Symposium, Edinburgh, 16-18 April 2012
2012-02-28 16:10 UTC
Galois categories in Johnstone's 'Topos Theory'
2012-02-27 21:38 UTC
On pricing, access, and the RWA (fwd)
2012-02-27 17:45 UTC
PSSL93: Third Announcement
2012-02-27 12:26 UTC
Galois categories in Johnstone's 'Topos Theory'
2012-02-27 1:45 UTC
when is Lex[A,V] abelian?
2012-02-25 5:09 UTC
ETAPS 2012 2nd call for participation, normal reg. closing 26 Feb. 2012
2012-02-22 23:54 UTC
Elsevier
2012-02-22 19:19 UTC
CMCS 2012: Final Call for Short Contributions
2012-02-22 13:41 UTC
when is Lex[A,V] abelian?
2012-02-22 11:31 UTC
First announcement: Higher Algebraic and Geometric Structures in Representation Theory
2012-02-21 20:12 UTC
Call for papers: special issue of MSCS
2012-02-21 15:23 UTC
Workshop on Category Theory
2012-02-21 9:03 UTC
publishers sue ETH
2012-02-20 19:00 UTC
The Turing Centenary Conference, Manchester, June 22-25
2012-02-20 0:21 UTC
The "Cost of Knowledge" campaign by Gowers, et al
2012-02-17 19:35 UTC
1st CFP: ICFEM 2012 - 14th International Conference on Formal Engineering Methods
2012-02-17 7:01 UTC
EXTENDED DEADLINE: 3rd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS 2011)
2012-02-14 15:31 UTC (2+ messages)
` Call for papers - CORCS 2012: The 4th IEEE International Workshop on Component-Based Design of Resource-Constrained Systems
CfP Special Issue on Automated Verification of Critical Systems
2012-02-13 19:14 UTC
SFM-12:MDE in Bertinoro -- second call for participation
2012-02-13 10:13 UTC
CFP: First IFCoLog-CIE Student Session
2012-02-12 12:47 UTC
Pullbacks of a family of arrows
2012-02-09 15:02 UTC (2+ messages)
Gowers petition against Elsevier
2012-02-09 2:15 UTC (9+ messages)
` discussing journals
` the IMU president signed
Call for Papers: 8th SCANDINAVIAN LOGIC SYMPOSIUM 20-21 August 2012 at Roskilde University, DENMARK
2012-02-08 15:30 UTC
Announcement: Fourth Workshop on Formal Topology (4WFTop) and Workshop on higher dimensional algebra, categories and types (HDACT)
2012-02-06 15:28 UTC
Announcement: Fourth Workshop on Formal Topology (4WFTop) and Workshop on higher dimensional algebra, categories and types (HDACT)
2012-02-06 15:28 UTC
about to go up in smoke?
2012-02-05 21:43 UTC
CMCS 2012: Call for Participation and Short Contributions
2012-02-04 12:52 UTC
question about discrete op-fibrations
2012-02-03 14:07 UTC (5+ messages)
the cost of knowledge
2012-01-30 23:14 UTC (6+ messages)
` "
cost of knowledge
2012-01-30 20:07 UTC
Good identity
2012-01-28 2:11 UTC (2+ messages)
product functor, abstractly
2012-01-27 15:58 UTC (2+ messages)
An introduction to forms
2012-01-26 17:17 UTC
Strict, skeletal version of Ab
2012-01-26 15:17 UTC
[PT] MSFP 2012 call for participation
2012-01-26 14:38 UTC
MSFP 2012 call for participation
2012-01-26 14:38 UTC
product functor, abstractly
2012-01-21 18:56 UTC (3+ messages)
[PVS] IIP 2012: Call for Papers
2012-01-20 8:00 UTC
MFPS 28 Second Call for Papers
2012-01-19 18:42 UTC
MFPS 28 Second Call for Papers
2012-01-19 18:42 UTC
Turing Centenary Conference (CiE 2012) - Final submission arrangements
2012-01-19 11:29 UTC
ETAPS 2012 call for participation, early reg deadline 29 Jan. 2012
2012-01-19 9:20 UTC
ETAPS 2012 call for participation, early reg deadline 29 Jan. 2012
2012-01-19 9:20 UTC
two books on bisimulation and coinduction
2012-01-17 12:35 UTC
Milner Symposium, Edinburgh, 16-18 April 2012 - Call for Participation
2012-01-17 10:35 UTC
Description of the image of a faithful functor
2012-01-16 23:18 UTC
What about biproducts?
2012-01-16 19:52 UTC (3+ messages)
"Semi-additive" seems to be it
2012-01-16 9:41 UTC (8+ messages)
` What about biproducts?
FMCS 2012: June 14-17, Halifax (minor correction)
2012-01-11 20:49 UTC
FMCS 2012: June 14-17, Halifax
2012-01-11 17:52 UTC
PSSL93 second announcement
2012-01-11 13:59 UTC
SFM-12:MDE in Bertinoro -- first call for participation
2012-01-10 18:01 UTC
"Semi-additive" seems to be it
2012-01-08 21:14 UTC (3+ messages)
Name for not-quite-additive categories
2012-01-07 11:29 UTC (5+ messages)
Deadline Extension RTA 2012
2012-01-06 7:30 UTC
Preprint
2012-01-02 11:51 UTC
Dito Pataraia
2011-12-23 0:44 UTC
Wraith's "Algebraic Theories" Scan
2011-12-20 16:41 UTC
CT 2011 Proceedings
2011-12-18 19:46 UTC
CT 2011 Proceedings
2011-12-18 19:46 UTC
NASSLLI 2012 is Open for Registration!
2011-12-18 1:02 UTC
[PT] MSFP 2012 deadline extension
2011-12-17 19:06 UTC
MSFP 2012 deadline extension
2011-12-17 19:06 UTC
Postdoc position in Mathematical Logic at Stockholm University
2011-12-16 18:04 UTC
connected sites etc
2011-12-16 10:55 UTC
__?__
2011-12-16 8:56 UTC (4+ messages)
open position at Universite Libre de Bruxelles
2011-12-15 20:27 UTC
Looking for results on preservation of 2-coproducts
2011-12-15 17:00 UTC
change of address
2011-12-15 16:15 UTC
Mathematics of Program Construction: Second Call for Papers
2011-12-15 14:45 UTC
CMCS 2012: Final Call for Papers
2011-12-15 9:25 UTC
Preprint: Distributive laws for Lawvere theories
2011-12-15 8:30 UTC
Looking for results on preservation of 2-coproducts
2011-12-14 20:44 UTC
When does a Grothendieck topology induce a homotopy equivalence?
2011-12-12 20:19 UTC
2nd CfP ACCAT Workshop 2012
2011-12-12 10:26 UTC
New Editors for TAC
2011-12-09 13:35 UTC
permanent position at Onera
2011-12-08 8:25 UTC
Dualities arising via pairs of schizophrenic objects
2011-12-07 17:58 UTC (11+ messages)
skew-monoidal category?
2011-12-07 17:30 UTC
Dualities arising via pairs of schizophrenic objects
2011-12-07 13:39 UTC
skew-monoidal category?
2011-12-06 9:30 UTC (3+ messages)
Dualities arising via pairs of schizophrenic objects
2011-12-04 14:25 UTC (2+ messages)
Some papers
2011-12-03 10:22 UTC (2+ messages)
The category of categories as a 3-limit
2011-12-02 2:17 UTC (3+ messages)
FICS 2012, 2nd Call for papers
2011-12-01 15:24 UTC
MFPS 28 Call for Papers
2011-12-01 6:14 UTC (2+ messages)
` Interactive demonstrations of categorical constructions
'Directed Algebraic Topology', free online version
2011-11-29 10:10 UTC
Dualities arising via pairs of schizophrenic objects
2011-11-28 17:04 UTC (3+ messages)
Ph.D. scholarship in Liverpool: motives and stable model categories
2011-11-28 15:00 UTC
Dualities arising via pairs of schizophrenic objects
2011-11-28 14:00 UTC (2+ messages)
Lectureship in Foundations at Oxford
2011-11-27 23:13 UTC
monads on model categories
2011-11-27 19:45 UTC
Dualities arising via pairs of schizophrenic objects
2011-11-27 15:43 UTC (2+ messages)
monads on model categories
2011-11-27 15:16 UTC (2+ messages)
New ftp address
2011-11-21 1:24 UTC
Creation of weighted limits
2011-11-19 1:10 UTC (2+ messages)
*** Research Fellowship in Sydney ***
2011-11-18 2:41 UTC
The boringness of the dual of exponential
2011-11-16 18:06 UTC (20+ messages)
MSFP 2012: Second Call for Papers
2011-11-16 9:17 UTC
75th Anniversary of Lambda Calculus Workshop
2011-11-15 21:40 UTC
Strictification of lax 2-functors and Gray tensor product
2011-11-14 20:57 UTC
Lawvere and Leibniz
2011-11-14 15:00 UTC (2+ messages)
5th Scottish Category Theory Seminar: Programme
2011-11-11 15:17 UTC
Symmetric models of ZF and GSet for large G
2011-11-11 14:52 UTC (2+ messages)
Partial functor
2011-11-11 0:10 UTC (3+ messages)
The boringness of the dual of exponential
2011-11-09 18:58 UTC
pictures of CT 2011 and of CT 2010
2011-11-09 11:08 UTC
The boringness of the dual of exponential
2011-11-09 9:19 UTC
Workshop on Category Theory - First announcement
2011-11-03 12:09 UTC
Research positions at DFKI SKS, Bremen
2011-11-01 11:42 UTC
Dualizing comma categories
2011-11-01 4:05 UTC (3+ messages)
when does preservation of monos imply left exactness?
2011-10-31 10:45 UTC (3+ messages)
` "
page: next (older) | prev (newer) | latest
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).