categories - Category Theory list
 help / color / mirror / Atom feed
Galois Theory of Algorithms
 2010-11-03 16:15 UTC 

ScotCat 3 - Second Announcement
 2010-11-03 14:50 UTC 

CT2010 Proceedings: Deadline approaching/extension
 2010-11-03 13:31 UTC  (2+ messages)
` concept & truth-value

"schizophrenic" reference
 2010-11-03  2:56 UTC  (2+ messages)

Internal Diagrams in Category Theory
 2010-11-03  0:41 UTC 

The higher order chain rule (categorically)
 2010-11-02 16:27 UTC 

Fwd: Petition: Boole's House at Grenville Place]
 2010-11-02 14:47 UTC 

Communes paper, schismatic objects
 2010-11-01 23:52 UTC 

Wessex Theory Seminar, Imperial College, Thu Nov 4
 2010-11-01 21:08 UTC 

Communes paper, schismatic objects
 2010-11-01 17:44 UTC 

"schizophrenic" reference
 2010-10-31 10:40 UTC  (4+ messages)

"schizophrenic" reference
 2010-10-28  9:13 UTC  (2+ messages)

CT and Physics at PSA in Montreal
 2010-10-26  2:14 UTC 

The omega-functor omega-category
 2010-10-25 19:30 UTC  (33+ messages)
        `  "
            ` property_vs_structure
              ` errata
        ` FW: property_vs_structure

Christmas 1972
 2010-10-22  4:18 UTC 

terminology for simplicial sets
 2010-10-22  1:43 UTC  (4+ messages)

terminology for simplicial sets
 2010-10-21 11:18 UTC 

Octoberfest schedule
 2010-10-18 12:21 UTC 

Website now available again
 2010-10-18  7:43 UTC 

new preprint: Towards a homotopy theory of higher dimensional transition systems
 2010-10-15 16:19 UTC 

Reflection in Category Theory
 2010-10-15 15:43 UTC 

job announcement (TU Darmstadt)
 2010-10-15 12:29 UTC 

CT Advisory Committee
 2010-10-15 11:20 UTC 

Third Scottish Category Theory Seminar
 2010-10-14  0:31 UTC 

Sad news: Steve Bloom
 2010-10-13  9:06 UTC 

Cat as a '2-fibration' over Set
 2010-10-13  9:01 UTC 

a preprint: A symmetric cubical category associated to a directed space
 2010-10-12 15:07 UTC 

Proving enough injectives for modules over a Grothendieck topos
 2010-10-11 14:19 UTC  (3+ messages)

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  (6+ messages)

Illusion and Forthrightness in Wikipedia
 2010-09-14 16:54 UTC  (4+ 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 

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