Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Image of a category appears as a part of a factorization system on Cat. Can this help to get an alternative check on your approach ?
Yeah, somebody should work out what the 2-limit that I am proposing actually boils down to.
But: it’s clearly the right definition. ;-)
I meant the factorization systems of that kind have refinement into (n+1)-step factorization systems which are categorical analogues of the Postnikov tower, as alluded in the lectures of Baez and Shulman. I find that fascinating…I wish somebody finishes this idea from their lectures with hard theorems.
categorical analogues of the Postnikov tower, as alluded in the lectures of Baez and Shulman. I find that fascinating…I wish somebody finishes this idea from their lectures with hard theorems.
We have hard theorem about the notion of Postnikov tower in an (infinity,1)-category.
The definitions of that, at least, have immediate analogs for -categories.
I know there is much about general Postnikov towers in (infinity,1)-setting. But I was talking about having specifically the statement that there is a (n+2)-step factorization system on the category of weak (n,n)-categories, and that this factorization system is related to some case of Postnikov construction in (infinity,1)-setting. My understanding is that the existence of that (n+2)-step factorization system is known for strict n-categories. In Baez-Shulman paper this is alluded in the treatment of -surjectivity. Thus I am looking for a full solution to a very concrete problem alluded in Baez-Shulman exposition. In fact, in written literature, there is no full treatment of the factorization system for strict n-categories, but it is probably just the matter of writing or at worst an undergraduate diploma project.
My understanding is that the existence of that (n+2)-step factorization system is known for strict n-categories. In Baez-Shulman paper this is alluded in the treatment of (n,k)-surjectivity.
My understanding is the the notion of k-surjective functor in their article is the globular reformulation of what simplicially is a morphism that has the right lifting property against the th generating cofibration
Namely a functor between strict globular -categories is -surjective precisely it if it has the right lifting property against the inclusions of the boundary of the -globe into the -globe
(See here.)
And essentially -surjective is something like surjective on the th categorical homotopy groups, where the th-categorical homotopy group is images of or with constant boundary modulo translation along equivalences.
Right. Now the question is if one can make a factorization system out of those as sketched in Baez-Shulman.
I have an idea how to do this. Take for a test case 1-categories. For a category map let be the category given by the pullback (In other words, objects and arrows ). Then for a functor there is a factorisation
where is the object-component of .
A similar game can be played with 2-categories, where one can not only define for a set , but also a reflexive graph with composition (something like a (pointed magma)-oid :) and a map of such things for the underlying 1-category of a 2-category (this works for bicategories too, but let’s stick to strict things). In particular, for the underlying category of a second 2-category equipped with a 2-functor . In general this is a bicategory, but if is a category, then is a 2-category.
We can then define
Each of the things expresses that is fibred (opfibred?) over various other categories and they can all be defined in terms of pullbacks with variously codiscrete 2-categories(1). This should make it manifest what sort of things are forgotten (stuff, structure etc) at each step. The universal property of the pullbacks helps ensure the uniqueness up to isomorphism of the factorisation.
The general pattern should be clear. There is a functor adding to each category a unique arrow between any two parallel n-arrows. For an -functor define where the -codiscrete -categories are considered -categories with only identity arrows between dimensions and . Here . The successive truncations together with the universal property of the pullback should furnish the functors in the factorisation.
(1) There is a functor from reflexive graphs with composition to by adding to a reflexive graph a unique 2-arrow between any two parallel 1-arrows. Coherence happens automatically. The restriction of to lands in .
The simplicial version of this should be by using coskeleta. Actually I think the above can be expressed more succinctly by by considering the codiscrete categories of the truncations as steps in the Postnikov tower for (not really a Postnikov tower except for groupoids, but you know what I mean. It is easy to check these form a tower, where each map in it is taking equivalence classes of the top-dimensional morphisms): and then follow the formal construction of the Moore-Postnikov tower in from the Postnikov tower of one of the spaces involved (can’t remember off the top of my head how this is done, but it’s easy).
The page image says that its various definitions are equivalent when they jointly apply. But I think this is false, since the first two (“in terms of subobjects” and “as a left adjoint functor”) deal only with monomorphisms, while the third (“as an equalizer”) always produces a regular monic.
I think the problem is that the notion of “image” really depends on first fixing a notion of subobject, which is different in different contexts. I prefer the first two definitions at image, which can easily be relativized to any notion of “subobject”, and are closely related to factorization systems. On the other hand, the third definition I view as simply a construction of images in the particular case when “subobject” means “regular mono.” I know that some people use “coimage” and “image” to mean specifically quotients of kernels and coquotients of cokernels, but I think I would prefer to view both of those as constructions of particular kinds of images.
Back on the topic of everyone else’s discussion… I don’t quite understand what the question is. Is it whether there is (what I would now prefer to call) a (strong k-epic, k-monic) factorization system on strict n-categories? Or on weak n-categories (what sort)? Or whether such a factorization can be constructed using limits and colimits in some higher-categorical way?
(By the way, I’m currently thinking of using “k-full” for what was called “essentially k-surjective” in Baez-Shulman. The problem with “k-surjective” is that a functor of this sort isn’t literally surjective on k-morphisms, even up to equivalence – only “locally” so in a sense which exactly generalizes the ordinary notion of “full functor.” In particular, the functor out of the empty category is k-full for all k>0. Also, “essentially k-surjective” could be argued to violate the rule that a “1-thing” should be the same as a “thing,” since we often say “essentially surjective” for “essentially surjective on objects”, i.e. 0-full. Thoughts?)
I think Zoran was wondering if the details of the ’layer cake philososphy’ of multi-stage factorisation had been written down for n-functors, in particular, for strict functors and n-cats as a warm-up. One is lead to wonder: what is the definition of an -step factorisation system on a category? One could require uniqueness up to various compatible isomorphisms…
I claim my prescription in #10 would work for weak -categories, I think the only thing to show is that there is a strict pullback of -cats, and that the operation ’identify parallel top-dimensional arrows in an -category’ gives an -category and that this is functorial.
I like the idea of k-full. For 1-categories ’2-full’ should mean ’faithful’, for the same reason that a locally full 2-functor between 1-categories is just a faithful 1-functor. But one could modify and say things like (at the cost of syllables!) essentially locally -surjective or some permutation. Or we could throw an ’essentially’ in there, with essentially -full. Or we could go the other way and take -full as the weak notion, and use strictly -full for the actually surjective on parallel -morphisms.
I definitely want “k-full” to mean the up-to-equivalence notion by default. Yes, of course 2-full for 1-categories means faithful, and so on.
Is the factorization supposed to be the 3-step factorization of a functor? It looks to me like the two categories in the middle are equivalent and both give the (eso, ff) factorization.
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.
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).
(By the way, […] Thoughts?)
I agree.
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.
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.
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.
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.
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?
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.
(accidental copy of previous post)
@ 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.
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.
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.
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).
Thanks!
The pages image and (epi,mono) factorization system and also abelian category knew nothing of each other. I have added some cross-links.
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).
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.
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.
Removing corestriction and starting a separate page for it.
Removing the redirect corestriction and starting a separate page for it.
1 to 38 of 38