Not signed in (Sign In)

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

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

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).
  1. I was reading connected object (linked to from the new article class equation) and noticed that the definition of a connected object (Hom(X,)Hom(X,-) preserves all coproducts) is very similar to the definition of a tiny object (Hom(X,)Hom(X,-) preserves all small colimits). Neither article references the other, though. Would it be worth adding some explicit comparison? Since the definition of tiny object is stronger, are any of the examples in connected object#examples also examples of tiny objects, or if not, how do they fail to preserve colimits? (I see that there was some related discussion earlier on the nForum at tiny objects and projective objects.)

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeJun 25th 2015
    • (edited Jun 25th 2015)

    Both entries are cross-linked, sort of, via their joint “floating context menu” in the top right, which provides as a pull-down menu the content of compact object - contents.

    But of course you are invited to add more in-line cross-links where you see the need. Wherever you would have liked to find them, other readers may appreciate the link, too.

    • CommentRowNumber3.
    • CommentAuthorZhen Lin
    • CommentTimeJun 25th 2015

    None of the specific examples listed are tiny in general. I think the only tiny object in Top\mathbf{Top} is the point, and I think the only tiny object in G-SetG \text{-}\mathbf{Set} is GG (with the regular action).

    • CommentRowNumber4.
    • CommentAuthorNoam_Zeilberger
    • CommentTimeJun 25th 2015
    • (edited Jun 25th 2015)

    @Urs: aha! I am not used to looking at the Context bar, but that list is very thorough indeed. I will start paying more attention to that feature of the nlab.

    @Zhen Lin: thanks. For the example of G-SetG\text{-}\mathbf{Set}, I see that GG is tiny because it corresponds to the representable presheaf BG(*,)\mathbf{B}G(*,-). I don’t have much intuition for why in general an inhabited transitive G-SetG\text{-}\mathbf{Set} need not preserve colimits – would you mind spelling that out?

    • CommentRowNumber5.
    • CommentAuthorZhen Lin
    • CommentTimeJun 25th 2015

    If you have a topos, then any tiny object is connected and projective. But a connected projective object in a presheaf topos must be a retract of a representable presheaf, and in the case of G-SetG\text{-}\mathbf{Set} the only such is GG with its regular action.