categories - Category Theory list
 help / color / mirror / Atom feed
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:  |  | 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).