are fibrations evil?
2010-09-22 10:27 UTC (17+ messages)
` Is equality evil?
` why it matters that fibrations are "evil"
` Re: are fibrations evil?
are fibrations evil?
2010-09-22 2:52 UTC (7+ messages)
Illusion and Forthrightness in Wikipedia
2010-09-19 23:38 UTC
Illusion and Forthrightness in Wikipedia
2010-09-19 22:07 UTC (2+ messages)
RDP 2011 -- Call For Workshop Proposals
2010-09-19 17:04 UTC
Illusion and Forthrightness in Wikipedia
2010-09-18 7:26 UTC
are fibrations evil?
2010-09-17 2:17 UTC
PSSL 91 - First announcement
2010-09-16 12:09 UTC
errata
2010-09-15 4:48 UTC (4+ messages)
about_evil
2010-09-15 2:20 UTC
Evil in bicategories
2010-09-15 1:12 UTC
Knots as processes preprint available on arXiv
2010-09-14 23:17 UTC
Evil in bicategories
2010-09-14 22:32 UTC (14+ messages)
Illusion and Forthrightness in Wikipedia
2010-09-14 16:54 UTC (7+ messages)
Canonical quotients
2010-09-14 15:06 UTC
evil
2010-09-14 7:50 UTC
Illusion and Forthrightness in Wikipedia
2010-09-14 7:46 UTC
Evil in bicategories
2010-09-14 6:28 UTC
Canonical quotients
2010-09-13 18:56 UTC (3+ messages)
CALCO 2011: First Call for Papers
2010-09-13 15:04 UTC
Dual of a monoidal closed category
2010-09-13 14:19 UTC
Canonical quotients
2010-09-13 14:09 UTC
Announcement of workshop on categorical information flow in quantum physics and linguistics
2010-09-10 14:01 UTC
Grothendieck: more complete URL
2010-09-10 12:26 UTC (8+ messages)
Octoberfest: 2nd announcement (upcoming deadlines)
2010-09-09 23:16 UTC
EPEW 2010 -- last call for participation
2010-09-09 8:45 UTC
Corrections to Grothendieck
2010-09-08 16:54 UTC
Another question on Grothendieck
2010-09-06 17:53 UTC (8+ messages)
` "
Makkai's suggestion
2010-09-06 17:08 UTC (6+ messages)
String diagrams, adjunction and autonomous categories
2010-09-06 16:20 UTC
Grothendieck translation
2010-09-06 9:38 UTC (2+ messages)
String diagrams, adjunction and autonomous categories
2010-09-06 2:05 UTC (2+ messages)
Dual category and dual object
2010-09-05 2:30 UTC (8+ messages)
Equality as an adjunction
2010-09-05 2:26 UTC (8+ messages)
First erratum
2010-09-05 0:43 UTC
Makkai's suggestion
2010-09-04 17:16 UTC (2+ messages)
String diagrams, adjunction and autonomous categories
2010-09-04 16:44 UTC (4+ messages)
Foundations?
2010-09-03 6:49 UTC (2+ messages)
` Quality & Quantity
Category-theory demonstrations on the Web
2010-09-02 4:43 UTC
Symposium Philosophy of the Logic of Sheaves - Call for Participation
2010-08-31 12:53 UTC
21 September: Workshop on Categories, Logic and Physics, Birmingham UK
2010-08-31 9:41 UTC
additive 2-categories and related structures?
2010-08-31 7:47 UTC (4+ messages)
String diagrams, adjunction and autonomous categories
2010-08-30 2:31 UTC (2+ messages)
even more on inclusion maps
2010-08-29 21:21 UTC
Question on choosing subobjects consistently
2010-08-29 13:32 UTC (3+ messages)
more on inclusion maps
2010-08-28 15:31 UTC
Question on choosing subobjects consistently
2010-08-28 10:10 UTC (2+ messages)
Generalizing Comma Categories
2010-08-22 21:24 UTC (2+ messages)
EPEW 2010 -- second call for participation (early registration Aug 31)
2010-08-21 9:31 UTC
product for free
2010-08-20 2:16 UTC (5+ messages)
postdoc vacancy in security & formal methods
2010-08-19 19:48 UTC
new paper: First-Order Logical Duality
2010-08-19 18:33 UTC
Software Verification and Testing at ACM SAC 2011: Deadline extended
2010-08-19 16:26 UTC
"Databases are Categories"
2010-08-18 6:14 UTC (6+ messages)
` "
ECEASST-Volume on Graph Transformation and Visual Modeling Techniques 2010
2010-08-16 11:06 UTC
Games Call for Participation
2010-08-13 8:00 UTC
"Databases are Categories" (again)
2010-08-12 7:04 UTC (3+ messages)
"Databases are Categories" (again)
2010-08-12 5:44 UTC (2+ messages)
PhD positions in Leicester
2010-08-11 21:04 UTC
Last Cfp: Software Verification and Testing at ACM SAC 2011
2010-08-11 0:22 UTC
Tensor of monads
2010-08-09 20:26 UTC (23+ messages)
` Eckmann-Hilton (Was: Tensor of monads)
"Databases are Categories"
2010-08-09 16:12 UTC
What else do simplicial sets classify?
2010-08-08 12:11 UTC (4+ messages)
` "etirement morphique"
MAP 2010: Mathematics, Algorithms, Proofs, Logrono (Spain), 8-12 Nov 2010
2010-08-06 9:58 UTC
Phd Scholarship to study Category Theory in Sydney
2010-08-03 8:25 UTC
the two 'nerves' of crossed complexes
2010-08-03 7:45 UTC
Spans in Bicategories
2010-08-03 1:10 UTC
Homomorphisms that are pullbacks
2010-08-02 13:20 UTC
Homomorphisms that are pullbacks
2010-08-02 11:31 UTC
EPEW 2010 -- first call for participation
2010-07-29 22:04 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).