Skip to main content
6 events
when toggle format what by license comment
Apr 29, 2010 at 11:36 comment added Matthew @Pete: This makes the question even more striking in my view. For example, let's say we have the monoid {0,1} with operation xor and try to count its arrows. Should it have two arrows corresponding to the two elements of the monoid? What about the infinite composition ..0101.. (or the source-target-friendly 1..0101..0), which is neither equal to 0 nor to 1? I think this is the essence of my original question.
Apr 29, 2010 at 6:10 comment added Qfwfq @Qiaochu: this problem of the target being not always well defined could perhaps be solved by requiring the infinite set of arrows one wants to "compose" to be linearly ordered (w.r.t. "source precedes target" order, let's say) and having a minimum (the source of the "infinite composite") and a maximum (the target of the "infinite composite").
Apr 29, 2010 at 6:04 comment added Pete L. Clark @Qiaochu: It's okay -- or rather not problematic for the reason you give -- in any category with a single object (i.e., a monoid). Seriously, that's a reasonable special case. But I certainly do take your point: we need to either very much restrict the categories in question, or cook up some extra structure that keeps track of convergence of objects (or do something else equally drastic).
Apr 29, 2010 at 6:02 comment added Steve D Presumably, that example wouldn't be "convergent" in this "topology".
Apr 29, 2010 at 5:51 comment added Qiaochu Yuan The example I gave is problematic in any category; the infinite composition ...fgfg doesn't have a well-defined codomain (maybe I should say target).
Apr 29, 2010 at 5:46 history answered Pete L. Clark CC BY-SA 2.5