(unknown)
2011-08-14 20:08 UTC
Lifting Cartesian closed structure to a functor category
2011-08-12 10:39 UTC
short notice: post available in Birmingham
2011-08-11 14:02 UTC
Octoberfest 2011
2011-08-10 14:57 UTC
Nomenclature query
2011-08-08 16:23 UTC (2+ messages)
PhD position
2011-08-08 16:02 UTC
axioms for the natural numbers
2011-08-07 23:35 UTC
Lawvere on probability distributions as a monad
2011-08-06 17:24 UTC (4+ messages)
axioms for the natural numbers
2011-08-05 21:12 UTC
postdoc position - immediately
2011-08-04 13:52 UTC
DBPL '11 Call for participation
2011-08-03 16:07 UTC
Proceedings of CT2011
2011-08-02 22:56 UTC
CatAlg2011 ** Second announcement **
2011-08-02 19:55 UTC
2 postdoc positions (each 1 year) at Oxford
2011-07-29 12:52 UTC
Early registration deadline approaching for FCT 2011 - Fundamentals of Computation Theory in Oslo
2011-07-27 11:59 UTC
CSL call for participation
2011-07-25 12:22 UTC
sets within geometry (nancy, 26-29 july 2011)
2011-07-22 16:44 UTC
bilimit_topos
2011-07-20 17:04 UTC
Paper on "Partially traced categories"
2011-07-20 15:32 UTC
IMPACT
2011-07-19 18:04 UTC
quantum of critic
2011-07-19 16:28 UTC (2+ messages)
*** CALCO 2011: Early registration extended until July 27 ***
2011-07-19 11:30 UTC
Fwd: Good article for promoting pure math research
2011-07-19 9:24 UTC (7+ messages)
` IMPACT
` an old paper
` distributors for 2-categories
COMPUTABILITY - The Journal of the Association CiE
2011-07-16 0:49 UTC
RE: stacks (was: size_question_encore)
2011-07-15 19:01 UTC (3+ messages)
` "
size_question_encore
2011-07-15 16:51 UTC (7+ messages)
` RE : categories: size_question_encore
` RE : size_question_encore
stacks (was: size_question_encore)
2011-07-15 10:27 UTC
stacks (was: size_question_encore)
2011-07-15 6:51 UTC (6+ messages)
A new axiom?
2011-07-13 15:41 UTC
A new axiom?
2011-07-13 14:32 UTC
Timelines for category theory: a response to comments
2011-07-13 7:43 UTC (9+ messages)
` Comments on a wikipedia article on a Timeline of Category theory
` Re: Timelines for category theory: a response to comments
stacks (was: size_question_encore)
2011-07-12 19:56 UTC
Timelines for category theory: a response to comments
2011-07-12 15:19 UTC (2+ messages)
stacks (was: size_question_encore)
2011-07-12 14:56 UTC
size_question_encore
2011-07-12 1:20 UTC (4+ messages)
` stacks (was: size_question_encore)
RE: size_question_encore
2011-07-10 23:56 UTC
size_question_encore
2011-07-10 17:43 UTC
a question
2011-07-10 13:24 UTC
size_question_encore
2011-07-10 13:21 UTC
Comments on a wikipedia article on a Timeline of Category theory
2011-07-09 19:48 UTC (9+ messages)
CT2011: Advance signup for excursion on July 20
2011-07-09 8:04 UTC
Comments on a wikipedia article on a Timeline of Category theory
2011-07-08 22:46 UTC (2+ messages)
*** CALCO 2011: Early registration deadline approaching ***
2011-07-07 23:48 UTC
announcement
2011-07-05 13:03 UTC
size_question_reloaded
2011-07-05 9:37 UTC (3+ messages)
LFCS Free Topos Seminar, Phil Scott, 13 July, Edinburgh, Scotland
2011-07-04 11:21 UTC
size_question
2011-07-03 15:01 UTC (6+ messages)
CT2011-registration
2011-07-01 6:55 UTC
aiml 2012 early call for papers
2011-06-30 21:07 UTC
ordinal dependent choice
2011-06-30 16:07 UTC (4+ messages)
CT2011 programme
2011-06-29 2:26 UTC
size_question_bisbis
2011-06-28 23:10 UTC
size_question_bis
2011-06-28 18:44 UTC
2011 mini-WCATSS, Seattle, Aug 26-28
2011-06-27 19:58 UTC
[From: wilbur jonsson] Daniel Quillen obituary (fwd)
2011-06-24 23:53 UTC
BB and spectral sequences
2011-06-21 23:07 UTC
Lawvere on probability distributions as a monad
2011-06-20 19:52 UTC
Lawvere on probability distributions as a monad
2011-06-20 19:37 UTC
QPL 2011 workshop (Nijmegen)
2011-06-17 12:45 UTC
[PT] ESSLLI 2012: last call for course and workshop proposals
2011-06-17 10:34 UTC
CSASC 2011
2011-06-16 11:40 UTC
Preprint: From cubical to globular higher categories
2011-06-15 12:00 UTC
Wikipedia on Eilenberg-Mac Lane spaces
2011-06-13 2:00 UTC
Codensity and the ultrafilter monad
2011-06-13 1:28 UTC (3+ messages)
Codensity and the ultrafilter monad
2011-06-10 1:04 UTC
Hopf - Lie algebra adjunction in monoidal categories
2011-06-09 15:02 UTC
existence of limit and colimits in product categories
2011-06-07 18:10 UTC
TYPES 2011 in Bergen 8 - 11 Sept: Deadline for abstracts 19 June
2011-06-01 14:03 UTC
Willams Lecture
2011-05-31 19:43 UTC
Professorship in Adelaide
2011-05-31 15:39 UTC
CT2011
2011-05-30 23:00 UTC
CALCO 2011: First Call for Participation
2011-05-30 16:46 UTC
Gray tensor product
2011-05-30 9:43 UTC (3+ messages)
CFP: DBPL '11
2011-05-28 18:26 UTC
Gray tensor product
2011-05-27 17:16 UTC
Gray tensor product
2011-05-27 16:56 UTC
2nd CFP -- Haskell Symposium 2011
2011-05-25 21:53 UTC
preprint available (more on monads and extensive quantities)
2011-05-25 15:22 UTC
Erice School on "Graph Theory, Algorithms and Applications"
2011-05-24 21:15 UTC
Conway Games over arbitrary (strong) monad?
2011-05-24 7:21 UTC
abstract submissions for CT2011
2011-05-24 0:25 UTC
Enriched adjoint functor theorem?
2011-05-23 20:23 UTC
Enriched adjoint functor theorem?
2011-05-23 19:56 UTC
FHIES 2011: Deadline Extended
2011-05-23 11:22 UTC
Enriched adjoint functor theorem?
2011-05-23 8:13 UTC
Enriched adjoint functor theorem?
2011-05-23 2:51 UTC
Two 3-year Research Assistants - PLanCompS project - Swansea
2011-05-21 18:07 UTC
CATALG2011 - First announcement
2011-05-19 9:08 UTC
CT2011 - Participation and Early Registration
2011-05-17 6:11 UTC
1st CFP: LoCoCo 2010 (Logics for Component Configuration)
2011-05-16 14:08 UTC
European Master's Program in Computational Logic
2011-05-14 17:45 UTC
Lectureship in Computer Science, University of Leicester, UK
2011-05-11 9:31 UTC
Lectureship in Computer Science, University of Leicester, UK
2011-05-11 9:31 UTC
Polyhedral T-complexes
2011-05-10 21:20 UTC
A Colloquium in Honour of Jean Bénabou
2011-05-10 17:35 UTC
the Church-Howard Correspondence
2011-05-06 16:57 UTC (3+ messages)
` "
7 PhD positions in Leicester
2011-05-06 14:32 UTC
*SOS 2011* 2nd call for papers
2011-05-05 15:36 UTC
Post-doctoral position (for posting - thanks!)
2011-05-05 8:41 UTC
Explanations
2011-05-02 18:22 UTC
Explanations
2011-05-02 17:01 UTC (4+ messages)
ANNONCE D'UN COURS de André Joyal
2011-05-01 22:01 UTC
Explanations
2011-05-01 21:27 UTC
Lawvere at Union Conference
2011-05-01 21:11 UTC
Explanations
2011-05-01 21:00 UTC
Daniel Quillen
2011-05-01 14:48 UTC
Explanations
2011-04-30 21:09 UTC
CT2011 Abstracts
2011-04-29 22:40 UTC
Final call for contributions: CALCO-Jnr 2011: CALCO Young Researchers Workshop (Winchester, UK)
2011-04-28 19:05 UTC
Explanations
2011-04-28 13:12 UTC
Fwd: Topology at the VU
2011-04-28 5:29 UTC
MFPS 27 - Second Call for Participation
2011-04-27 18:51 UTC
Explanations
2011-04-27 13:20 UTC (12+ messages)
Explanations
2011-04-27 8:16 UTC
Functors and limits
2011-04-26 21:12 UTC
Functors and limits
2011-04-26 15:15 UTC
universal actions of pseudo-monoids in 'biclosed' monoidal 2-categories
2011-04-26 14:45 UTC
Explanations
2011-04-21 19:09 UTC (2+ messages)
LFMTP 2011 (Call for Papers)
2011-04-21 14:35 UTC
Higher Structures in China II, Call for Abstracts and Participation
2011-04-21 13:56 UTC
question about monoidal categories
2011-04-20 9:43 UTC
Explanations
2011-04-19 23:37 UTC
Another(!) PhD Position at Strathclyde
2011-04-19 17:17 UTC
CfA -- Mathematical Logic in the Netherlands (MLNL) in Groningen
2011-04-19 10:49 UTC
question about monoidal categories
2011-04-19 1:40 UTC (2+ 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).