Haskell Arrows and internal categories
2010-09-29 12:06 UTC (3+ messages)
quotients and finitary functors
2010-09-29 5:41 UTC (3+ messages)
EVIL terminology
2010-09-29 4:45 UTC (2+ messages)
` potential names
terminology
2010-09-29 2:03 UTC
The omega-functor omega-category
2010-09-29 1:09 UTC (8+ messages)
Not invariant but good
2010-09-28 23:11 UTC (2+ messages)
first in a series of lectures on monadic design patterns for the web
2010-09-28 18:05 UTC
subculture
2010-09-28 10:18 UTC (12+ messages)
` RE : categories: subculture
` Not invariant but good
` RE : categories: "
` RE : "
terminology
2010-09-28 4:38 UTC
Octoberfest update
2010-09-27 13:14 UTC
subculture
2010-09-27 3:06 UTC
internal hom of the omega-category of omega-my own attempt
2010-09-26 14:11 UTC
Freyd Categories
2010-09-25 21:48 UTC (3+ messages)
are fibrations evil?
2010-09-25 16:18 UTC (19+ messages)
` Is equality evil?
` why it matters that fibrations are "evil"
` Re: are fibrations evil?
Is equality evil?
2010-09-25 0:16 UTC
are fibrations evil?
2010-09-24 23:43 UTC
PSSL91 Second--announcement
2010-09-24 16:56 UTC
Postdoc in category theory/quantum foundations in Oxford/Singapore
2010-09-24 15:49 UTC
Postdoc in category theory/quantum foundations in Oxford/Singapore
2010-09-24 15:49 UTC
Is equality evil?
2010-09-24 15:30 UTC
Postdoc vacancies in OUCL Information Systems Group
2010-09-24 9:58 UTC
"logic, categories, semantics" Bordeaux November 12-13
2010-09-23 21:12 UTC
"logic, categories, semantics" Bordeaux November 12-13
2010-09-23 21:12 UTC
are fibrations evil?
2010-09-22 21:06 UTC (9+ 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 (4+ 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
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).