the definition of "evil"
2010-01-20 5:52 UTC (28+ messages)
` dagger not evil
` equality is beautiful
` A challenge to all
` equality
` dagger not evil (2)
forms
2010-01-19 19:27 UTC
equality
2010-01-19 4:48 UTC
PhD studies in Computer Science at Bath
2010-01-18 13:30 UTC
PhD studies in Computer Science at Bath
2010-01-18 13:30 UTC
Spring School in Generic and Indexed Programming
2010-01-16 17:21 UTC
Examples for the Yoneda lemma
2010-01-15 13:01 UTC (6+ messages)
The notion of "model of a category"
2010-01-15 10:44 UTC
forms
2010-01-15 2:51 UTC
forms
2010-01-14 17:15 UTC (3+ messages)
Commuting diagrams in a bicategory
2010-01-13 17:12 UTC (2+ messages)
SFM-10:QAPL school: 1st call for participation (Bertinoro, 21-26 June 2010)
2010-01-13 16:30 UTC
Website move + Maths question
2010-01-13 13:16 UTC
Advances in Modal Logic 2010: Second Call for Papers
2010-01-13 6:22 UTC
dagger, involutive and pivotal categories
2010-01-12 10:13 UTC
categories are beautiful
2010-01-12 7:26 UTC (2+ messages)
small2
2010-01-10 20:08 UTC
ICTAC 2010: call for papers
2010-01-10 12:53 UTC
small is beautiful
2010-01-09 21:05 UTC (2+ messages)
Small is beautiful
2010-01-08 21:56 UTC (5+ messages)
` evil
Super comma category
2010-01-08 16:13 UTC (2+ messages)
Small is beautiful
2010-01-08 13:29 UTC (9+ messages)
` Small2
evil
2010-01-06 18:43 UTC (2+ messages)
Information
2010-01-06 9:19 UTC
announcement
2010-01-06 8:13 UTC
AMAST Call for Papers (and apology!)
2010-01-05 18:29 UTC
CSL 2010: First Call for Papers
2010-01-05 13:01 UTC
RTA 2nd CFP (July 11 - July 13, 2010, Edinburgh)
2010-01-05 8:52 UTC
the definition of "evil"
2010-01-05 3:16 UTC
Call for Papers - MFPS 26
2010-01-04 20:05 UTC
publication
2010-01-04 16:56 UTC
A well kept secret (A Correction)
2010-01-04 9:13 UTC
Quantum computation and categories
2010-01-04 8:12 UTC (3+ messages)
bigroupoid valued functors
2010-01-04 0:39 UTC
classical_small_vs_large
2010-01-03 16:44 UTC
evil (fwd) Re: Quantum computation and categories
2010-01-03 10:01 UTC (4+ messages)
` in defense of evil
Quantum computation and categories
2010-01-01 19:06 UTC (2+ messages)
Quantum computation and categories
2010-01-01 4:44 UTC
Between Cape Town and Genova
2009-12-31 18:57 UTC
evil (fwd)
2009-12-31 15:21 UTC
Quantum computation and categories
2009-12-31 1:54 UTC (5+ messages)
` in defense of strictness
quantum groups in physics
2009-12-31 1:46 UTC (3+ messages)
A well kept secret?
2009-12-30 21:00 UTC (47+ messages)
` CatLab
` additions
` quantum information and foundation
` RE : categories: additions
PhD Studies in Mathematics at IST, Lisbon
2009-12-30 19:17 UTC
CMCS 2010: Final call for papers
2009-12-29 16:42 UTC
a paper available
2009-12-29 15:52 UTC
A well kept secret
2009-12-28 10:07 UTC (3+ messages)
Mathematics and mathematics only,
2009-12-23 19:34 UTC
additions
2009-12-23 1:38 UTC
additions
2009-12-22 1:43 UTC
A well kept secret?
2009-12-20 17:47 UTC (3+ messages)
PSSL 90, first announcement
2009-12-18 16:14 UTC
A well kept secret?
2009-12-17 18:58 UTC (7+ messages)
` A well kept secret
` RE : categories: "
` a conjecture
CFP MSCS special issue Commutativity of Categorical Diagrams
2009-12-17 17:40 UTC
Monads are like burritos
2009-12-17 15:18 UTC
question on adjoint lifting
2009-12-17 11:15 UTC
A well kept secret
2009-12-16 17:17 UTC
IMA
2009-12-16 0:24 UTC (2+ messages)
Preprint: "Ionads"
2009-12-15 4:48 UTC
categorical "varieties of algebras" (fwd)
2009-12-14 19:52 UTC (3+ messages)
` categorical "varieties of algebras"
` A well kept secret
Dangerous knowledge
2009-12-13 7:01 UTC (18+ messages)
` A well kept secret
` RE : "
` Dangerous_knowledge
Lax Monoidal Functor Terminology
2009-12-13 2:41 UTC
question concerning lax functors
2009-12-12 21:19 UTC
15th Estonian Winter School in Comput. Sci., Call for Partic
2009-12-12 20:41 UTC
A 2-categories companion
2009-12-12 20:35 UTC (2+ messages)
Mathematics job(s) at Macquarie University
2009-12-11 0:08 UTC
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).