categories - Category Theory list
 help / color / mirror / Atom feed
reverting religious terminology
 2010-10-04 21:25 UTC  (4+ messages)

The omega-functor omega-category
 2010-10-04 21:00 UTC 

The omega-functor omega-category
 2010-10-04 18:41 UTC  (16+ 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 

list requirements
 2010-10-01 14:58 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  (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

page:  |  | 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).