Proving enough injectives for modules over a Grothendieck topos
2010-10-11 9:00 UTC (2+ messages)
The omega-functor omega-category
2010-10-09 22:26 UTC (25+ messages)
` "
` property_vs_structure
` errata
` FW: property_vs_structure
Cat as a '2-fibration' over Set
2010-10-09 6:12 UTC (2+ messages)
list requirements
2010-10-08 12:33 UTC (2+ messages)
` identities
CFP: Special issue on DEPENDENTLY TYPED PROGRAMMING 2010
2010-10-07 21:55 UTC
PhD place at the FP lab, Nottingham
2010-10-07 12:53 UTC
do weakly localic maps of toposes compose? (correction)
2010-10-07 10:57 UTC
RTA CFP 2011
2010-10-07 8:58 UTC
do weakly localic maps of toposes compose?
2010-10-06 20:52 UTC
potential names
2010-10-05 22:18 UTC
The omega-functor omega-category
2010-10-05 14:13 UTC (2+ messages)
finishing this thread
2010-10-05 10:42 UTC
reverting religious terminology
2010-10-04 21:25 UTC (4+ messages)
horizontal composition in a 2-category
2010-10-04 12:42 UTC
EVIL terminology
2010-10-04 7:20 UTC (6+ messages)
` potential names
reply blocked
2010-10-04 2:23 UTC
subculture
2010-10-03 22:10 UTC (20+ messages)
` RE : categories: subculture
` Not invariant but good
` RE : categories: "
` RE : "
` no joke
Post-Doc at CMU
2010-10-02 13:01 UTC
Post-Doc at CMU
2010-10-02 13:01 UTC
Not invariant but good
2010-10-01 12:36 UTC
Grothendieck downloads
2010-09-30 14:54 UTC
Haskell Arrows and internal categories
2010-09-30 13:39 UTC (5+ messages)
quotients and finitary functors
2010-09-29 5:41 UTC (3+ messages)
terminology
2010-09-29 2:03 UTC
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
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 (7+ messages)
` "
Makkai's suggestion
2010-09-06 17:08 UTC (2+ 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 (5+ messages)
Equality as an adjunction
2010-09-05 2:26 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).