Not signed in (Sign In)

Start a new discussion

Not signed in

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

  • Sign in using OpenID

Site Tag Cloud

(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 integration-theory internal-categories kan lie 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

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

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeMay 12th 2011

    I have added various basic technical details to filtered colimit and flat functor.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeApr 27th 2012

    The Idea-section at filtered colimit stated nothing but that these are colimits that commute with finite limits. That was not too great for an Idea-section, so I have expanded a bit. Of course now there is more overlap with the Definition-section ;-) But anyway.

    • CommentRowNumber3.
    • CommentAuthorTim_Porter
    • CommentTimeApr 27th 2012

    I have added a bit more chat at the start of filtered colimit.

    • CommentRowNumber4.
    • CommentAuthorTobyBartels
    • CommentTimeApr 27th 2012
    • (edited Apr 27th 2012)

    I thought that Tim’s chat should really be saying two things, so I said them both (making it two paragraphs).

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeApr 27th 2012

    Thanks Tim, and Toby! So suddenly this entry which has been sitting there all along has its Idea-section vastly improved.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeMay 3rd 2012
    • (edited May 3rd 2012)

    I only now realize that the entry to which filtered colimit is redirecting is still titled filtered limit. That’s a bit unfortunate. We should split this off into two dedicated entries.

    I won’t do it now though. But maybe somebody reading this here and suffering from insomnia seizes this chance to gain some easily earned +1s…

    • CommentRowNumber7.
    • CommentAuthorTim_Porter
    • CommentTimeMay 4th 2012

    In fact the present entry is almost wholly on filter colimits, so why is titled filtered limit? Was there a historical reason.

    • CommentRowNumber8.
    • CommentAuthorTobyBartels
    • CommentTimeMay 11th 2012

    I think that for an article that covers both, we just took the shortest name.

Add your comments
  • Please login, or your comments will be posted as "Guest".
     
     
     
     
     
    Type the two words.
     
     
    Get a new recaptcha
    Get an audio challenge
    Help
     
     
     
  • Format comments as (Help) (Help)