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 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 sheaves 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).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeAug 28th 2012

    I have removed the following discussion box from stuff, structure, property – because the entry text above it no longer contained the word that the discussion is about :-)


    [begin forwarded discussion]

    +–{: .query} Mike: Maybe you all had this out somewhere that I haven’t read, but in the English I am accustomed to speak, “property” is not a mass noun. So you can “forget a property” or “forget properties” but you can’t “forget property.”

    Toby: Well, ’property’ can be a mass noun in English, but not in this sense. Also, if we were to invent an entirely new word for the concept, it would surely be a mass noun. Together, these may explain why it's easy to slip into talking this way, but I agree that it's probably better to use the plural count noun here. =–

    [end forwarded discussion]

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeApr 2nd 2017
    • (edited Apr 2nd 2017)

    A few weeks back on the categories mailing list there was discussion about what the right definition is for a functor to be regarded as “forgetting structure”. It starts with a message from Jean Bénabou from Wed, Feb 8, 2017 at 9:03 AM, subject “Terminology”. (Sorry,I have trouble locating it in the online list archive. )

    The issue is which extra conditions to demand beyond faithfulness. After this suggestion came up in the discussion, in the message Thu, Feb 9, 2017 at 5:38 PM Bénabou said that this is “obiously not enough”.

    People suggest extra conditions: a) reflects isos and b) is an isofibration, which is what seems to find consensus.

    Eventually of course the nLab entry gets a mentioning, and since it talks just about faithfulness, it gets bad press.

    I have seen the word structure used with various meanings; and sometimes without any meaning at all.In particular in the nLab.

    (Bénabou Sun, Feb 12, 2017 at 8:00 AM.)

    I don’t have energy for this. But if anyone cares, I think it would be good to expand the nnLab entries structure and stuff, structure, property to reflect this issue better.

    • CommentRowNumber3.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 2nd 2017
    • (edited Apr 2nd 2017)

    For an old reference, Andrée Ehresmann wrote (13th Feb):

    Thus your proposed definition ” p is a structure … if it is faithful and transportable ” exactly corresponds to Charles’ definition of a “foncteur d’homomorphismes”. (Cf. for instance def. 19, p. 71 of his book “Catégories et Structures”, Dunod, 1965.)

    and for even older, AE wrote (10th Feb):

    For Charles Ehresmann, the answer to Jean’s question was that p be a “homomorphism functor”, a notion he already defined in his 1957 paper “Gattungen in Lokalen Strukturen”,

    which is “faithful+amnestic” (both of which Bénabou apparently thought too weak). For a newer reference, Streicher wrote (9th Feb):

    in Remark 13.18 of their book on “Algebraic Theories” Adamek, Rosicky and Vitale suggest the following conditions

    1) p faithful (what they call “concrete over X”)

    2) p-vertical isos are identities (what they call “amnestic”))

    3) p is an isofibration (what they call “transportable”)

    (and which Bénabou accepted)

    And since I’m going to get up for work in a few hours, I can’t say I can edit the entry in any coherent way myself, either.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeApr 2nd 2017

    Thanks David, for the more specific pointers.

    I have implemented minimal fixes here and here.

    Still, if anyone has the energy, it would be worthwhile to expand on this point and to polish these two entries.

    • CommentRowNumber5.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 2nd 2017

    Shouldn’t we hear first from the people involved in the original description? It was the result of many months (years?) of discussion, if I recall. Mike took notes from John Baez’s lectures and wrote an appendix for Lectures on n-Categories and Cohomology, and Toby was involved in the original discussion, so we shouldn’t have to wait long.

    Maybe Benabou has a good case, but I rather hear it made first.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeApr 2nd 2017

    Shouldn’t we hear first from the people involved in the original description?

    I hope these people will join in in editing the entry. But in any case the entries need to mention the possible further conditions, especially since they appear in standard textbook literature.

    • CommentRowNumber7.
    • CommentAuthorMike Shulman
    • CommentTimeApr 2nd 2017

    As a matter of policy I no longer read any thread started by Benabou. (-: As for structure, reflecting isos is obviously too strong, since topological spaces fail it. Amnestic and isofibration are both very reasonable conditions; the problem is that they are not equivalence-invariant. Perhaps there is room both for notions of “forgetting structure” and “strictly forgetting structure” (or “forgetting strict structure” or something, I’m not sure what the best grammar would be)?

    • CommentRowNumber8.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 3rd 2017

    There was a small amount of discussion about the difference between algebraic structure and that of topological spaces. Needless to say, I haven’t seen the promised follow-up thread by B. It may not have passed moderation, or just never written, like so many other things he has done privately.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeApr 3rd 2017
    • (edited Apr 3rd 2017)

    Irrespective of Bénabou’s opinions, there is definitions of functors forgetting structure in Ehresmann’s 1957 article, and in “The Joy of Categories” and in Adamek-Rosicky-Vitale and all these demand more than just a faithful functor. Our entries should reflect that and say what’s going on with these variants.

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeApr 3rd 2017
    • (edited Apr 3rd 2017)

    I have tweaked and expanded the minimal additions here and here. Still not good, but better than nothing.

    I really need to leave it at that for the moment. I trust that somebody here cares enough to do justice to the topic and its reflection in the literature.

    By the way, this here was the argument given why faithful+amnestic is still too weak to capture the concept “forgets structure”:

    I think faithful+amnestic is too weak. if SS is contained in XX the inclusion SXS \to X satisfies these two properties . Let XX be the category of finite sets and SS be the full subcategory of finite ordinals. Do you know any structure on finite sets such that 11 has that structure and some other singleton doesn’t? Thus if an inclusion is a structure SS should be a replete subcategory of XX.

    • CommentRowNumber11.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 3rd 2017

    Since we explicitly adopt the principle of equivalence in this wiki, it’s reasonable to give the Baez et al. account as the main one. I’ve added a note that in stricter cases more may be required.

    • CommentRowNumber12.
    • CommentAuthorTobyBartels
    • CommentTimeApr 3rd 2017

    Insisting on any condition that isn't equivalence-invariant is wrong from the nPOV. Certainly the nLab should mention things that appear in the literature, and if there is an accepted definition of extra-structure-up-to-isomorphism (I would call this ‘strict extra structure’), then we should mention that (it is the corresponding notion for strict categories). But every faithful functor is, up to equivalence, the inclusion of a subcategory.

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeApr 3rd 2017

    Okay, I have added one more sentence here. (Violating my pledge that I should be doing something else.)

    • CommentRowNumber14.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 3rd 2017

    Yeah I’d rather be hearing about what’s happening in Regensberg. What are these ubiquitous Gorenstwin ring spectra?

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeApr 3rd 2017
    • (edited Apr 3rd 2017)

    I’d rather be hearing

    Sure, but let me just clarify. It may be fine personally to declare that one disregards certain people and their opinions, but since we are running a public site, in parts about category theory and prominently associated with the names of the regulars here, I found it disconcerting that when a fair number of category theorists discuss a basic concept from category theory, not only could none simply point to an nnLab page to resolve the debate, but moreover the only mentioning the nnLab gets is as a snide remark. A good site is such that even the non-sympathetic people can’t disregard it’s objective content. So apart from such politics, the event highlights that the entries on “structure” which we have failed (and still fail) to explain why the definitions they give are right, or at least good.

    • CommentRowNumber16.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 3rd 2017

    So what more do you want? An explanation at every relevant page as to the arguments for and against strictness and weakness? Why isn’t a link to a page which speaks to that plus mention of conditions that someone wanting strictness might use enough?

    I dare say if we sampled people we’d find all kinds of objections as to partiality. Removing laden terms such as ’evil’ has no doubt been a good idea (not that that is anywhere near complete), as with talk of extra ’baggage’ at material set theory. But you’re never going to be able to defend an appreciable fraction of your decisions.

    We responded to this criticism by modifying two pages in a non-confrontational tone. I don’t see what hasn’t been done.

    • CommentRowNumber17.
    • CommentAuthorMike Shulman
    • CommentTimeApr 3rd 2017

    I think the additions are good.

    • CommentRowNumber18.
    • CommentAuthorTobyBartels
    • CommentTimeApr 3rd 2017

    I tweaked the grammar (and removed an ‘at least’ that I think is unnecessary given what has now been added after it).

    I also added more text to amnestic functor (and slightly to isofibration) explaining how they are trivial up to equivalence.

    • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTimeApr 4th 2017

    Thanks!

    • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeApr 24th 2017

    I tried my hand on giving the entry an Idea-section that conveys a bit more of the idea. Leaves room for much improvement.

    • CommentRowNumber21.
    • CommentAuthorJohn Baez
    • CommentTimeNov 25th 2020

    The first example of an object equipped with extra stuff was wrong. I fixed it.

    diff, v53, current

    • CommentRowNumber22.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 15th 2021
    • (edited Apr 15th 2021)

    Added a section

    Formulation in homotopy type theory

    A map between homotopy types is equivalent to a dependent sum projection f: x:AB(x)Af: \sum_{x: A} B(x) \to A. If the types B(x)B(x) are n-types, ff forgets nn-stuff.

    diff, v55, current

    • CommentRowNumber23.
    • CommentAuthorUrs
    • CommentTimeJan 26th 2023

    I expanded out the two original references (which were previously only hinted at) and moved them to the top of the list:

    diff, v56, current

    • CommentRowNumber24.
    • CommentAuthorGuest
    • CommentTimeApr 24th 2023
    Citation should be "Gattungen von lokalen Strukturen", not "in"
    (Capitalisation on "lokalen" is I think up for grabs, but non-negotiable on the German nouns...)
    James McKinna, School of Mathematical and Computer Sciences, Heriot-Watt University, J.McKinna@hw.ac.uk
    • CommentRowNumber25.
    • CommentAuthorUrs
    • CommentTimeApr 24th 2023

    Thanks, fixed it. (here)

    (refraining from commenting on the possible meanings of “Gattungen in Lokalen”…)

    diff, v57, current