better then deleting ill-placed information is to give it its proper place. So I have re-instantiated and expanded the pointer in the line before (now here).
]]>Removed “replete image” from the example of images in Cat. The essential image is the image wrt replete subcategories.
]]>Removing the redirect corestriction and starting a separate page for it.
]]>Removing corestriction and starting a separate page for it.
]]>I added a parenthetical “()-” to make the context clearer.
I looked at the parenthetical “(i.e., )” and I personally find it unobtrusive. In addition, it may well be that the author of that parenthetical has experience of other readers who would actually find that helpful. Let’s leave it be.
Edit: I also made a footnote at extremal epimorphism, clarifying which notion of image is meant.
]]>I think you have introduced confusion in the article image by not paying close contextual attention to the fact that it had been written for a general notion of ()-image where is a given class of monomorphisms. That is, extremal monomorphism makes reference just to the default meaning of “monomorphism”. I’m going to roll back to version #39 (edit: #40, I mean) and see if appropriate changes are nevertheless warranted.
It also seems to me the proviso “has equalizers” is appropriate. I’m not sure why you think you speak for “readers” generally. If you have questions about the mathematics of an article, then please ask.
]]>image did not mention the concept of extremal epimorphism until about midway into the article. In contrast, extremal epimorphism says
An image factorization of a morphism is, by definition, a factorization where is a monomorphism and is an extremal epimorphism.
where the boldface has been introduced for this comment only.
Readers might therefore expect extremal epimorphism to already appear within section “2. Definition” of image and be a bit puzzled that it does not.
Therefore added a reference to [extremal epimorphism, mediated by some slight reformulation.
Incidentally, removed the parenthetical “(then )” which while maybe useful to remind readers of “Leibnizian” order of composition, seems too much here.
Readers’ experience remains slightly more rough than necessary, on account of the proviso “if […] C$ has equalizers” in the section Relation to factorization systems).
]]>The pages image and (epi,mono) factorization system and also abelian category knew nothing of each other. I have added some cross-links.
]]>Thanks!
]]>Another thing that we should define is an -ary factorisation system […]
OK, I think that I’ve got that now. This also clarifies what an -ary factorisation system (called -stage below) should be.
Fix any ordinal number (or opposite thereof, or any poset, really) . Then an -stage factorisation system (in an ambient -category ) consists of an -indexed family of factorisation systems in such that:
Results to check:
The last result sets the numbering and also shows that we really do want examples where is unbounded (important since the first result shows us how the definition can be made much simpler when is bounded).
]]>Perhaps I’ll start a post there.
If you do, please announce it here, since I don’t look at the Café much these days.
]]>Do you agree?
Perhaps; that’s certainly a natural definition. I haven’t verified that it actually gives you a uniquely defined n-ary factorization of every morphism, as I have in the case n=3, but hopefully it’ll work out. That may be equivalent to David’s suggestion of giving a section of n-ary composition together with assuming that whenever we get a binary factorization system by composing the first and the last morphisms in the n-ary factorization.
I think I agree with your version of 0-ary factorizations as well. Not sure about (-1)-ary ones, though.
I also think this would be a good topic for a discussion at the Cafe. Perhaps I’ll start a post there.
]]>@ Mike #22
I’d be inclined to say that ‘-step’ implies morphisms while ‘-stage’ implies objects. And actually, I’d prefer to count the objects! But I will adopt your terminology.
For , I claim that an -ary factorisation system consists of (that is ) factorisation systems (for ) such that
(Or course, an -ary factorisation system is determined by the factorisations systems for , but the the other two exist.) Do you agree?
Given an -ary factorisation system, the (co)image of is the -(co)image of the entire -ary factorisation system. (This agrees with the terminology in for , or more generally with the terminology in or even .)
Then extending this definition to lower values of , every category (or -category) has a unique -ary factorisation system, where is (iso,all) and is (all,iso), as you suggested.
A category has a -ary factorisation system if and only if it is a groupoid, in which case is both (iso,all) and (all,iso) at once. In other words, rather than requiring every morphism to be a -ary composite on the nose, we require every morphism to be a -ary composite up to isomorphism. I think that this is right, since a factorisation system (of any arity) should be given by specifying full and replete subcategories of the arrow category (or equivalently, collections of isomorphism classes of the arrow category), and every isomorphism is isomorphic to an identity.
I was wrong to say that fit; the definition above does not actually make sense in that case, since the conditions required of the factorisation systems don’t parse. However, it seemed obvious to me that the empty category has a -ary factorisation systems, since we require an impossible condition of every morphism. But maybe that is a bad intuition.
Another thing that we should define is an -ary factorisation system; has one of these. This consists of factorisation systems satisfying the first two conditions of -ary factorisation systems, but there is no room for the last condition. Note that has an -ary factorisation system.
]]>(accidental copy of previous post)
]]>we use the word ternary, and similarly ordinary factorization systems are binary and general ones are k-ary
I agree.
As far as the definition of a k-ary factorisation system, is it possible to say the naive thing, and say that it is an ’section of k-ary composition’? Then a ’functorial k-ary factorisation’ is something like functorial binary factorisation being a section of (in the notation of Emily Riehl’s ’concise definition of a model cat’) the functor – or is this too strong?
We could additionally require that for every partition the composites of the first and the last arrows gives us a binary factorisation. Or we could be unbiased and say that for every partition we get a j-ary factorisation system by forming the -ary composites… It would be nice to get this as a theorem from a basic description, though.
]]>I reorganized image along the lines I had in mind in comment 12. What should we do about coimage? I would kind of like to redirect it to image, so people get to the more general discussion; thoughts?
I would also like to propose that instead of “3-step” or “3-stage” factorization systems we use the word ternary, and similarly ordinary factorization systems are binary and general ones are k-ary. The prefixes “3-step” and “3-stage” confuse me as to whether they mean the factorization has three intermediate morphisms or three intermediate objects, but the words “ternary” and “binary” remind me that we are writing f as a ternary, resp. binary, composite of things, so that the number is the number of morphisms. Thoughts?
I can guess that a unary factorization system would be no structure at all (factor every morphism into a unary composite, namely itself). And that a nullary factorization system would factor every morphism into a composite of no things, i.e. an identity morphism – so that a category admits a nullary factorization system iff it is discrete. But I don’t know what a minus-unary factorization system would be; does it make the category empty? Contractible?
]]>I figured out where I went wrong: instead to factoring the rightmost functor in
I should factor the leftmost functor. Given a functor which is the identity on objects, we can factor it as where and is the image in of the arrow component of . This fits the pattern I proposed better, in that the factorisation for 2-functors would then use the (epi,mono) factorisation in Set on 2-arrows, then the (eso,ff) factorisation in Cat on the level of 2- and 1-arrows, and then finally the (eso,local equivalence) factorisation in 2Cat.
In Toby’s polynomial notes the 3-step factorisation is not the same, but is equivalent to mine via the equivalence that Mike noted above, so at the very most we need uniqueness up to equivalence.
]]>Signs of run-away negative thinking: within a minute of reading Mike’s last comment, I decided that -step factorisation systems make sense down through in a way that fits in perfectly.
]]>The best definition I can think of for a 3-step factorization system is simply a pair of ordinary factorization systems and such that (and hence ). I think that condition implies that if you factor a morphism into and then factor the part into , you get the same thing as if you first factored into and then factor the part into , giving you the 3-step factorization. In the case of categories, eso+full, = faithful, = eso, and = full+faithful. Probably for a (k+1)-step factorization system you similarly want k nested ordinary factorization systems.
]]>supposed to be the 3-step factorization of a functor?
yes…. I thought the middle two categories weren’t equivalent, but now I see they are. hmm. I thought I’d correctly interpreted Toby’s notes to something I understand, but I’ll have another go at it.
]]>(By the way, […] Thoughts?)
I agree.
]]>I am not sure about your present notation, but I have checked in all details at some point the 3 step factorization on strict categories and 4 step factorization on strict 2-categories, after reading your paper with John. On the other hand, I do not recall that i cleared out the full axiomatic definition of what n-step factorization systems are, though some wanted properties are immediate. David correctly understood my question (on the other hand he organizes the construction proposal in 10 a bit different than what I remember so I need to rethink carefully; I hope to return to that next week – I have due the Arnold paper for local radio next week).
]]>The page image says that its various definitions are equivalent when they jointly apply. But I think this is false,
I was wondering about this a few times, but never did anything.
So what do we do? You are the one with most thoughts on this, so I think it would be good if you edited the entry according to your comments in #12.
]]>