Not signed in

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

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

(0 1)-category-theory 2-category 2-category-theory 2-monad abelian-categories accessible adjoint algebra algebraic algebraic-geometry analysis arithmetic beauty book bug bundle categories category category-theory chern-simons-theory cohesion cohesive-homotopy-type-theory cohomology combinatorics complex-geometry conference connection constructive constructive-mathematics cosmology database deformation-theory descent differential differential-cohomology differential-geometry duality enriched enriched-category-theory enrichment examples factorization-system fiber fibration forms foundation foundations functional-analysis functor galois-theory gauge-theory gebra general topology geometric geometric-quantization geometry gravity group-theory higher higher-algebra higher-category-theory higher-geometry higher-lie-theory higher-topos-theory history homological homological-algebra homotopy homotopy-theory homotopy-type-theory homtopy-type-theory infinity-groupoid infinity-topos integration-theory internal-categories kan lie-algebras lie-theory limit limits linear linear-algebra locale localization localization-theory logic manifolds mathematics measure measure-theory mechanics meta modal-logic model model-category-theory monoidal monoidal-category monoidal-category-theory morphism n-groups newpage noncommutative noncommutative-geometry object operator operator-algebra order-theory philosophy physics predicative pretopology pro-object probability-theory quantum quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry set set-theory sheaf simplicial site space stable-homotopy-theory stack string string-theory subobject supergeometry symplectic-geometry tannaka tensor terminology theory topologica-quantum-field-theory topology topos topos-theory torsor tqft type type-theory universal weighted-limit

1. • CommentRowNumber1.
   • CommentAuthorMike Shulman
   • CommentTimeMay 18th 2010
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexCreated [[factorization system in a 2-category]].

   Created factorization system in a 2-category.

2. • CommentRowNumber2.
   • CommentAuthorDavid_Corfield
   • CommentTimeMay 18th 2010
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexIs there any call for a factorization into a triple of systems, as in the stuff, structure, property story?

   Is there any call for a factorization into a triple of systems, as in the stuff, structure, property story?

3. • CommentRowNumber3.
   • CommentAuthorMike Shulman
   • CommentTimeMay 18th 2010
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexI don't think I've ever seen that situation formalized, but it would be worth doing. I can think of at least one other example.

   I don’t think I’ve ever seen that situation formalized, but it would be worth doing. I can think of at least one other example.

4. • CommentRowNumber4.
   • CommentAuthorMike Shulman
   • CommentTimeMay 19th 2010
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexThe other example being the combination of (hyperconnected, localic) and (surjection, inclusion) factorizations for topoi, which are very similar to the (eso+full, faithful) and (eso, fully faithful) factorizations for categories.

   The other example being the combination of (hyperconnected, localic) and (surjection, inclusion) factorizations for topoi, which are very similar to the (eso+full, faithful) and (eso, fully faithful) factorizations for categories.

5. • CommentRowNumber5.
   • CommentAuthorDavidRoberts
   • CommentTimeMay 19th 2010
   • (edited May 19th 2010)
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexIn a recent email exchange with Andre Joyal he pointed out to me the factorisation systems >(epimorphisms of toposes, sub-toposes) >(connected morphisms of toposes, totally disconnected localic morphisms) >(1-connected morphisms of toposes, Galois morphisms) Are these examples of factorisation systems in a 2-category (I mean interestingly so)? I believe the third system has only be looked at in the special case of morphisms $E \to Set$. Marta Bunge I think has done the second, and the first one is 'old'.

   In a recent email exchange with Andre Joyal he pointed out to me the factorisation systems

   (epimorphisms of toposes, sub-toposes)

   (connected morphisms of toposes, totally disconnected localic morphisms)

   (1-connected morphisms of toposes, Galois morphisms)

   Are these examples of factorisation systems in a 2-category (I mean interestingly so)? I believe the third system has only be looked at in the special case of morphisms $E\to \mathrm{Set}$. Marta Bunge I think has done the second, and the first one is ’old’.

6. • CommentRowNumber6.
   • CommentAuthorDavid_Corfield
   • CommentTimeMay 19th 2010
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexMike @3: Does any notion of orthogonality exist for triple factorisations? Would that matter to their potential interest? Maybe what I'd really like to know is the whole point of factorisation systems.

   Mike @3: Does any notion of orthogonality exist for triple factorisations? Would that matter to their potential interest? Maybe what I’d really like to know is the whole point of factorisation systems.

7. • CommentRowNumber7.
   • CommentAuthorMike Shulman
   • CommentTimeMay 19th 2010
   • (edited May 19th 2010)
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexDavidR #5, the first one is definitely a factorization system, aka (surjections, inclusions). I'm not sure about the others, but it seems quite possible. I know there's an "almost" factorization system on toposes which consists of (connected+locally-connected morphisms, local homeomorphisms) but according to the Elephant the factorizations only exist for morphisms that are already known to be locally connected. Perhaps the second one you mention above is a version of this generalized to non-locally-connected morphisms. @DavidC #6: Both examples of triple factorizations are "actually" just two pairs of ordinary "double" factorizations related in a certain way, so they have two resulting kinds of orthogonality. The Whole Point of Factorization Systems would probably be a good topic for a blog post one day... (-: I'll see if I can think of some good examples.

   DavidR #5, the first one is definitely a factorization system, aka (surjections, inclusions). I’m not sure about the others, but it seems quite possible. I know there’s an “almost” factorization system on toposes which consists of (connected+locally-connected morphisms, local homeomorphisms) but according to the Elephant the factorizations only exist for morphisms that are already known to be locally connected. Perhaps the second one you mention above is a version of this generalized to non-locally-connected morphisms.

   @DavidC #6: Both examples of triple factorizations are “actually” just two pairs of ordinary “double” factorizations related in a certain way, so they have two resulting kinds of orthogonality.

   The Whole Point of Factorization Systems would probably be a good topic for a blog post one day… (-: I’ll see if I can think of some good examples.

8. • CommentRowNumber8.
   • CommentAuthorUrs
   • CommentTimeMay 19th 2010
   • PermaLink
   Author: Urs
   Format: MarkdownItex> The Whole Point of Factorization Systems would probably be a good topic for a blog post one day Yes. Or also for an Idea-section in the relevant nLab entry. It is one of these concepts whose impact is in maybe surprising contrast to the simplicity of their definition. I am not sure if I understand The Whole Point of factorization systems. I think I understand some points of them.

   The Whole Point of Factorization Systems would probably be a good topic for a blog post one day

   Yes. Or also for an Idea-section in the relevant nLab entry. It is one of these concepts whose impact is in maybe surprising contrast to the simplicity of their definition. I am not sure if I understand The Whole Point of factorization systems. I think I understand some points of them.

9. • CommentRowNumber9.
   • CommentAuthorzskoda
   • CommentTimeMay 19th 2010
   • (edited May 19th 2010)
   • PermaLink
   Author: zskoda
   Format: MarkdownItex@2: David, when I hear the word 2-categorical factorization system my first association is to split it into 3 as in the Postnikov tower for 2-types. As I was discussing before this could play a role in a possible discussion of model 2-categories which would model $(\infty,2)$-categories. I am very interested in this idea which may be a blunder despite its intuitive plausibility. @7: Urs, in joyalslab, there is a beautiful, original and extensive treatment of factorization systems and weak factorization systems.

   @2: David, when I hear the word 2-categorical factorization system my first association is to split it into 3 as in the Postnikov tower for 2-types. As I was discussing before this could play a role in a possible discussion of model 2-categories which would model $(\mathrm{\infty }\mathrm{,2})$-categories. I am very interested in this idea which may be a blunder despite its intuitive plausibility.

   @7: Urs, in joyalslab, there is a beautiful, original and extensive treatment of factorization systems and weak factorization systems.

10. • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeMay 19th 2010
    • (edited May 19th 2010)
    • PermaLink
    Author: Urs
    Format: MarkdownItex> in joyalslab, there is a beautiful, original and extensive treatment of factorization systems and weak factorization systems. That reminds me: we need to start putting links to Joyal's CatLab into the relevant nLab enties.

    in joyalslab, there is a beautiful, original and extensive treatment of factorization systems and weak factorization systems.

    That reminds me: we need to start putting links to Joyal’s CatLab into the relevant nLab enties.

11. • CommentRowNumber11.
    • CommentAuthorDavid_Corfield
    • CommentTimeMay 20th 2010
    • PermaLink
    Author: David_Corfield
    Format: MarkdownItex@9: Zoran, so instead of the 3 classes for a model category forming weak factorisation systems $ (C, F \cap W)$ and $(C \cap W, F)$ , there might be 5 classes with various combinations of intersections making weak factorisation triple systems? Or something like that.

    @9: Zoran, so instead of the 3 classes for a model category forming weak factorisation systems $(C,F\cap W)$ and $(C\cap W,F)$ , there might be 5 classes with various combinations of intersections making weak factorisation triple systems? Or something like that.

12. • CommentRowNumber12.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 20th 2010
    • PermaLink
    Author: DavidRoberts
    Format: MarkdownItex@David #11 or 4 classes? Weak equivalences $W$ + three other classes $(A,B,C)$, the intersection of $W$ with each of the others in turn to form $(A\cap W,B,C)$ etc. to get the three classes needed to form a three-way factorisation?

    @David #11

    or 4 classes? Weak equivalences $W$ + three other classes $(A,B,C)$, the intersection of $W$ with each of the others in turn to form $(A\cap W,B,C)$ etc. to get the three classes needed to form a three-way factorisation?

13. • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeOct 10th 2011
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded to [[factorization system in a 2-category]] a reference (there are probably more canonical ones, though) and a remark that the system [essentially srujective + full] / [faithful] on [[Grpd]] is a special case of the [[n-connected/n-truncated factorization system]]. I'll now add more details to that latter entry.

    added to factorization system in a 2-category a reference (there are probably more canonical ones, though) and a remark that the system [essentially srujective + full] / [faithful] on Grpd is a special case of the n-connected/n-truncated factorization system. I’ll now add more details to that latter entry.