## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeFeb 14th 2012

I have added to orthogonal factorization system

1. in the Definition-section three equivalent explicit formulations of the definition;

2. in the Properties-section the statement of the cancellability property.

Wanted to add more (and to add the proofs). But have to quit now. Maybe later.

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeFeb 15th 2012

I have added the proof of the Canellation property.

(Not that it’s not almost trivial. But just for the record.)

• CommentRowNumber3.
• CommentAuthorMike Shulman
• CommentTimeJul 12th 2014

Our definition 2 of orthogonal factorization system asks that in addition to factorizations being unique up to unique isomorphism, the classes $E$ and $M$ contain all isomorphisms and are closed under composition. However, I’ve seen it claimed elsewhere (such as arXiv:1112.3076) that the latter condition follows automatically. Is that true? I’m doubtful.

• CommentRowNumber4.
• CommentAuthorvej.kse
• CommentTimeJul 12th 2014
• (edited Jul 12th 2014)

Here is a simple counterexample, if I’m not mistaken. Let’s consider the “commutative square” category, generated by the following objects, morphisms and equality:

$\begin{array}[t]{rcl} \A & \stackrel{e}{\to} & B \\ m'\downarrow & = & \downarrow e' \\ C & \stackrel{m}{\to} & D \end{array}$

We put in $E$ all identities, $e, e'$ and the composite $e'e = m m'$, whereas $M$ contains all identities, $m$ and $m'$. Every morphism in the category can be factorized as an $E$ followed by an $M$ in a unique way (up to unique isomorphism, since the only isomorphisms are the identities), but $M$ isn’t closed under composition.

We can correct the result in the following way: two full subcategories $E, M$ of $\mathcal{C}^\mathbb{2}$ form an orthogonal factorisation system iff the composition functor $\Gamma: M\circ E \to \mathcal{C}^\mathbb{2}$ is an equivalence (where $M\circ E$ is the composite of the spans $\mathcal{C}\stackrel{\mathrm{dom}}{\leftarrow} E \stackrel{\mathrm{codom}}{\rightarrow}\mathcal{C}$ and $\mathcal{C}\stackrel{\mathrm{dom}}{\leftarrow} M \stackrel{\mathrm{codom}}{\rightarrow}\mathcal{C}$). The incorrect conjecture would be equivalent to $\Gamma$ being surjective and fully faithful on isomorphisms would be sufficient. (N.B. I only use the belonging up to isomorphism relation between objects and full subcategories of a category, so I may have forgotten to add “replete” before “full”.)

• CommentRowNumber5.
• CommentAuthorMike Shulman
• CommentTimeJul 12th 2014

Your counterexample looks right. And your proposed fix amounts essentially to saying $E\perp M$, right?

• CommentRowNumber6.
• CommentAuthorvej.kse
• CommentTimeJul 12th 2014

Yes, essentially, but expressed in the following way: For all commutative diagrams of the form

$\begin{array}[t]{rcl} A & \stackrel{e}{\to} &I &\stackrel{m}{\to} &B\\ u\downarrow & & & & \downarrow v\\ A' & \stackrel{e'}{\to} &I' &\stackrel{m'}{\to} &B'\\ \end{array}$

where $e,e'\in E$ and $m,m'\in M$, there is a unique morphism $d\colon I\to I'$ making the two squares commute. The special case where $u,v$ are isomorphisms amounts essentially (by repleteness) to the uniqueness of the factorisation up to a unique isomorphism.

This is equivalent to $E\bottom M$ if all identities factor as an $E$ followed by an $M$ (so that we can prove that all identities are both in $E$ and $M$).

(I think I first learned about this from On localization and stabilization for factorizations systems by Carboni, Janelidze, Kelly, Paré, Appl.Cat.Str. 5 (1997), paragraph 2.8.)

• CommentRowNumber7.
• CommentAuthorzskoda
• CommentTimeFeb 13th 2018
• (edited Feb 13th 2018)

Page orthogonal factorization system lists the following as an example:

If $F\to C$ is a fibered category in the sense of Grothendieck, then $F$ admits a factorization system $(E,M)$ where $E$ = arrows whose projection to $C$ is invertible, $M$ = cartesian arrows in $F$

Is this correct ? I agree that putting cartesian morphisms in $M$ is a correct choice, but then $E$ must consist of all vertical morphisms, that is the morphisms whose projection to $C$ is an identity and not merely an invertible morphism. I mean every morphism is a composition of a vertical morphism followed by a cartesian morphism.

P.S. while my last sentence is correct, with the definition of the orthogonal factorization system in the entry we must allow isomorphisms as well, and it seems that $E$ proposed in the entry consists of morphisms which are vertical followed by iso. So, the entry seems correct.

• CommentRowNumber8.
• CommentAuthorMike Shulman
• CommentTimeFeb 14th 2018

Yes, I agree with your PS that the entry is correct; we have to allow the projections to be invertible rather than just identities in order to include all the isomorphisms in both classes. It’s certainly possible to have an OFS in which some of the factorizations are “extra-special” in a way not noticed by the factorization system.

• CommentRowNumber9.
• CommentAuthorbeppe
• CommentTimeMay 9th 2018
Hi,

https://ncatlab.org/nlab/show/orthogonal+factorization+system

and at the "Examples" section I read that among the classical examples of OFS in Cat, there are:

(i) Cat, (eso, fully faithful) factorization system

(ii) Cat, (eso+full, faithful) factorization system

mmm... aren't those examples of factorization system in a 2-cat?

Beppe.
1. Hi Beppe, welcome, and thanks for the question! Yes, I think you’re right. Instead of eso and eso+full, I think one needs to strictify a bit, to bijective on objects and bijective on objects + full respectively. Let’s fix this, and maybe give a few more details. I’ll not get to it just now; maybe someone else can give it a go?

2. Well at the moment it has both (eso, fully faithful) and (bo, fully faithful). They can’t both be correct, since the left class should be determined by the right. But the page doesn’t say that it’s only giving examples in 1-categories, so (because Cat is nicer as a 2-category than a 1-category) I think it would be better to just give (eso, fully faithful) and (eso+full, faithful), rather than whatever their strictified versions are.

I think I’m missing something though. Why is bijective-on-obejects the correct analogue of essentially-surjective-on-objects (rather than just surjective-on-objects)? How can every functor (in particular a functor not essentially-injective-on-objects) factor as (bo, fully faithful) when both bo and full imply essentially-injective-on-objects?

• CommentRowNumber12.
• CommentAuthorRichard Williamson
• CommentTimeMay 9th 2018
• (edited May 9th 2018)

The factorisation of $F: A \rightarrow B$ can be taken to $A \rightarrow C \rightarrow B$, where $C$ is defined by $Ob(C) = Ob(A)$ and $Hom_C(a,b) = Hom_B(F(a), F(b))$, where the two functors are the obvious ones.

One needs bijectivity on objects rather than just surjectivity to be able to construct a lift (given $F_1 \circ F_0 = F_3 \circ F_2$ where $F_1$ is fully faithful and $F_2$ is bijective on objects, one constructs the lift on objects as the inverse of $F_2$ on objects composed with $F_0$ on objects; on arrows one uses the inverses coming from the fully faithfulness of $F_1$). Uniqueness is obvious.

3. Being able to lift up to isomorphism is much weaker. One will, I believe, need the axiom of choice to get the essentially surjective, fully faithful 2-factorisation. Just think about equivalences of categories.

4. Oh I see. Being bijective-on-objects doesn’t imply being essentially-bijective-on-objects. I got the wrong idea from the fact that being surjective-on-objects does imply being essentially-surjective-on-objects.

• CommentRowNumber15.
• CommentAuthorMike Shulman
• CommentTimeMay 9th 2018

move the 2-categorical examples to a separate section, explicitly marked.

• CommentRowNumber16.
• CommentAuthorbeppe
• CommentTimeMay 10th 2018
Thanks Mike, and thanks e everybody.

I could have done this myself, but I must confess I didnt manage to - and I am writing on a smartphone!

Best,

Beppe.
• CommentRowNumber17.
• CommentAuthorDavid_Corfield
• CommentTimeApr 16th 2020

Orthogonal factorization systems are equivalently described by the (appropriately defined) Eilenberg-Moore algebras with respect to the monad which belongs to the endofunctor $\mathcal{K} \mapsto \mathcal{K}^2$ of (the 2-category) Cat.

• CommentRowNumber18.
• CommentAuthorJoshua Meyers
• CommentTimeDec 29th 2021

• CommentRowNumber19.
• CommentAuthorJoshua Meyers
• CommentTimeDec 29th 2021

Typo fix

• CommentRowNumber20.
• CommentAuthorvarkor
• CommentTimeDec 7th 2022

Add reference to Mac Lane’s “bicategories”.

• CommentRowNumber21.
• CommentAuthorDmitri Pavlov
• CommentTimeDec 14th 2022

• CommentRowNumber22.
• CommentAuthoranuyts
• CommentTimeFeb 14th 2023

Cite introductory texts.

• CommentRowNumber23.
• CommentAuthoranuyts
• CommentTimeFeb 20th 2023

Cite Introduction to Homotopy Theory

• CommentRowNumber24.
• CommentAuthorvarkor
• CommentTimeJun 1st 2023

• CommentRowNumber25.
• CommentAuthorvarkor
• CommentTimeJun 1st 2023

The DOI has a parenthesis in it which is breaking the URL format. Is there a way to get around this?

• CommentRowNumber26.
• CommentAuthorUrs
• CommentTimeJun 1st 2023
• (edited Jun 1st 2023)

The DOI has a parenthesis in it which is breaking the URL format. Is there a way to get around this?

Either escape the parenthesis as “%28” for “(” and “%29” for “)”

or (e.g. if it’s too much trouble remembering these numbers)

fall back to using the HTML tag “<a href="url">text</a>” (which does not choke on parenthesis in URLs)

• CommentRowNumber27.
• CommentAuthorvarkor
• CommentTimeJun 1st 2023

Add cross reference to enhanced factorization system.

• CommentRowNumber28.
• CommentAuthorvarkor
• CommentTimeJun 1st 2023

Either escape the parenthesis as “%28” for “(” and “%29” for “)”

Thanks!

• CommentRowNumber29.
• CommentAuthorDmitri Pavlov
• CommentTimeJun 1st 2023

Re #28:

Even easier, use the alternative Markdown syntax: typeset as [link text] and then

1: https://doi.org/…