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

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration 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 kan lie-theory limit 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 newpage nlab nonassociative noncommutative noncommutative-geometry number-theory object 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 string string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory 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. Page created, but author did not leave any comments.


    v1, current

    • CommentRowNumber2.
    • CommentAuthorHurkyl
    • CommentTimeFeb 27th 2021
    • (edited Feb 27th 2021)

    Am I misunderstanding something, or isn’t *⨿** \amalg * the discrete object classifier in the (2,1)-category of groupoids? More generally, in Gpd{\infty}Gpd, the characterization of fully faithful functors as being the insertion into a coproduct show that *⨿** \amalg * is the discrete classifier there.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeFeb 28th 2021

    I assume that the author meant to write “faithful” instead of “fully faithful”: The text does correctly start out speaking about 0-truncated morphisms; and between groupooids these are the faithful functors (I have added a pointer to the discussion there).

    I have briefly edited the entry accordingly, but I suppose this deserves to be explained in more detail.

    We have ancient discussion in this direction at pointed sets – As the universal set bundle and scattered remarks elsewhere. One day all this ought to be polished up. Maybe this entry here could be the seed.

    diff, v4, current

    • CommentRowNumber4.
    • CommentAuthorGuest
    • CommentTimeMar 2nd 2021
    Hello, I'm the anonymous author this discussion is referring to. Sorry about that; I've been making contributions to the nLab on and off for the past year anonymously, the vast majority of them being trivial edits, which do not need to have comments. However, because my edits have been trivial edits for a long time and thus needed no comments, I had forgotten that comments are needed for major edits and page creations. The nForum also happens to be a part of this wiki that I've never had to deal with before. I'll try to keep both in mind in the future.
    • CommentRowNumber5.
    • CommentAuthorGuest
    • CommentTimeMar 2nd 2021
    Regarding faithful vs fully faithful functors, yeah, I meant ordinary faithful functors in the article. Fully faithful functors should be classified by the subobject classifier of a (2,1)-category, which as Hurkyl pointed out is the coproduct of the point with itself.
    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeMar 2nd 2021

    Thanks for confirming! And thanks for all your edits, much appreciated.

    • CommentRowNumber7.
    • CommentAuthorGuest
    • CommentTimeMar 2nd 2021

    I’m currently blocked from editing the nLab, but David Corfield says at this blog post here that the role of the terminal object ** in the definition of a (-1)-truncated object classifier is played by Set *Set_* instead of the terminal object ** in the definition of a 0-truncated object classifier, and in a (1,1)-category it just so happens that the object Ω *\Omega_* of pointed truth values just happens to be equivalent to the terminal object **.

    He then goes on to talk about (1,1)-truncated object classifiers, which implies a notion of (n - 1, r)-truncated object classifier in an (n + 1, r + 1)-category.

  2. Fixed definition and added references


    diff, v7, current

  3. Added details about the classifying morphism


    diff, v8, current

  4. The definition of the category of pointed set relies on interval objects and internal homs, so we might as well use those instead.


    diff, v9, current

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)