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 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 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 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 subobject 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. Started the page inspired by a discussion on zulip. If this is not deemed interesting enough, feel free to remove.

    v1, current

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeMar 14th 2021

    Added example of non-equivalence between affine spaces and vector spaces.

    diff, v3, current

    • CommentRowNumber3.
    • CommentAuthormattecapu
    • CommentTimeMar 14th 2021

    Some more examples, page structure

    Matteo Capucci

    diff, v4, current

    • CommentRowNumber4.
    • CommentAuthormattecapu
    • CommentTimeMar 14th 2021

    Some more counterxamples (split edit to avoid spam filter)

    Matteo Capucci

    diff, v4, current

    • CommentRowNumber5.
    • CommentAuthorjesuslop
    • CommentTimeMar 14th 2021
    • (edited Mar 15th 2021)

    Example 4 (skeleton of monoidal category) has format/wording issues I think.

    EDIT: now fixed

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeMar 15th 2021

    Incidentally, the first example (center construction not functorial) is a special case of the second (Aut-group construction not functorial): The center of GG is the automorphisms of id BGid_{B G}.

    (And both are functorial on the core. The issue is that the would-be functor needs to act by conjugation.)

    • CommentRowNumber7.
    • CommentAuthorUlrik
    • CommentTimeMar 15th 2021

    Add a remark about the cores to example 1 (center of a group). Expand on the affine/vector space example, by mentioning that taking cores doesn’t help.

    diff, v7, current

  2. Added that dense functors are not closed under composition.

    Jonas Frey

    diff, v8, current

    • CommentRowNumber9.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMar 16th 2021

    Added an example of a continuous functor between locally presentable categories that does not have a left adjoint.

    diff, v9, current

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeMar 16th 2021
    • (edited Mar 16th 2021)

    @Ulrik, thanks. But then let’s expand just a little to do it justice:

    I have moved the example of the center-construction to after that of the automorphism group construction, and then I have added the explanation of how the automorphism group is functorial, so that readers are not actively misled by this entry of “counterexamples”.

    Here is how the first item reads now:

    1. Sending an object x𝒞x \in \mathcal{C} of a category 𝒞\mathcal{C} to its automorphism group Aut 𝒞(x)Aut_{\mathcal{C}}(x) (or its endomorphism monoid End 𝒞(x)End_{\mathcal{C}}(x) ) does not in general extend to a functor from 𝒞\mathcal{C} to Groups.

      It does however extend to a functor on the core of 𝒞\mathcal{C} (the maximal groupoid inside it, keeping only the isomorphisms of 𝒞\mathcal{C}), where it sends morphisms (now constrained to be isomorphisms) to their conjugation action:

      Core(𝒞) Aut 𝒞 Groups x Aut 𝒞(x) γ ad γ:gγgγ 1 y Aut 𝒞(y). \array{ Core(\mathcal{C}) & \overset{ \;\;\; Aut_{\mathcal{C}} \;\;\; }{ \longrightarrow } & Groups \\ x & & Aut_{\mathcal{C}}(x) \\ \big\downarrow {}^{{}_{\mathrlap{ \gamma }}} & \mapsto & \big\downarrow {}^{{}_{\mathrlap{ ad_\gamma \colon g \mapsto \gamma \circ g \circ \gamma^{-1} }}} & \\ y & & Aut_{\mathcal{C}}(y) \,. }

      For example, if 𝒞=Π 1(𝒳)\mathcal{C} = \Pi_1(\mathcal{X}) is the fundamental groupoid of a topological space (which thus coincides with its core already), then the automorphism groups of its objects xXx \in X are the fundamental groups π 1(X,x)\pi_1(X,x) at these basepoints, which famously are functorial under conjugation by paths in XX.

    diff, v10, current

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeMar 16th 2021
    • (edited Mar 16th 2021)

    That said, I’ll register a complaint about this entry

    (which you are free to ignore, as I will ignore any replies, not meaning to debate this):

    1. A decent counter-example is a counter-example to a decent statement.

      In topology, where this habit of listing counter-examples originates, there really are plenty would-be propositions whose truths one is seriously led to wonder about but which are in fact wrong, and the way to prove them wrong is to find one counter-example.

      But here in the list so far, various of the alleged counter-examples are countering silly statements. The first item, “forming automorphism groups is not functorial” is a counter-example only to the claim that “Every construction is functorial in the first sense that comes to mind.”

      Therefore I think listing these as counter-examples, and explicitly so in a claimed tradition of counter-examples in topology and algebra, is putting the practice of category theory in a bad light.

    2. This issue aside, the entry ends up being a list of random factoids, which to the extend that they are interesting are not being done justice here. Rather than dropping an off-the-cuff remark here and walk away, I’d rather that authors would take their idea to the respective entry, write \begin{example} \label{MyExample} ... \end{example} there and give a decent coherent and self-contained discussion (providing some details/proof) that one could later actually refer to from elsewhere.

    • CommentRowNumber12.
    • CommentAuthorDavid_Corfield
    • CommentTimeMar 16th 2021

    I agree with Urs in #11. The page is introduced as though cases are counterexamples to some vague claim that in category theory

    things just work out without thinking too hard.

    Couldn’t we have a better name for this page? Something conveying that things often need a little more thought, as Bourbaki used to mark with the dangerous bend symbol.

    But then, as Urs says in his second point, this becomes an odd jumble of facts. Imagine Bourbaki made a compilation of their dangerous bends.

    If there were regular patterns linking some of these together, that would be more interesting.

    • CommentRowNumber13.
    • CommentAuthorzskoda
    • CommentTimeMar 17th 2021
    • (edited Mar 17th 2021)

    11 Urs

    A decent counter-example is a counter-example to a decent statement.

    I agree and add a slightly different statement that traditionally counterexamples are examples of objects witnessing failing statements which take some ingenuity to construct or observe. In many cases they are even mathematically generic, rather than exceptions, but without significant effort it is hard to observe them (say, non-measurable sets) or to prove their key properties.

    I am not sure if counterexamples are an old tradition only in topology – analysis has quite a tradition as well as foundations.

    I myself started about 10 years ago writing a note on counterexamples in localization theory, but I am not sure when I will finish it, rarely looking at the manuscript (it is about 7-8 counterexamples which I find important to observe). One of them is actually sketched in my 2005. survey in London Math. Soc. LNS on noncommutative localization. I found an example of a subset SS in a unital ring RR with a set AA of ring generators and a set S 0S_0 multiplicatively generating SS, such that one can check the Ore conditions for pairs of elements in S 0S_0 and AA and still the set is not Ore. This is against the folklore that the Ore conditions should be checked only on generators, often applied in the literature. I even had this wrong statement in an appendix of my thesis with a proof having a gap. Few months later I tried to fix the gap and during a night of trying that I succeeded to construct an example where, using the diamond lemma, one can prove that the Ore condition anyway fails. Under mild additional assumptions the Ore condition is indeed sufficient to check on generators. I was quite shocked when I found the counterexample, I even thought that I used the wrong lemma essentially in my thesis (at least that was the intuition which I used in one important key result), but then I checked the place in the thesis and observed that luckily I used an explicit argument and avoided the usage of the lemma in the first place. (Alas, my LNS survey has another minor result with a missing condition, in the same section; I should once correct at least the arXiv version and note the gap elsewhere.)

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeMar 17th 2021
    • (edited Mar 17th 2021)

    So if there is agreement, maybe we could rename this entry, say to “pitfalls in basic category theory”?

    There could still be another entry with actual counter-examples in category theory, too. For instance examples of limit-preserving functors between locally presentable categories not having left adjoints.

    • CommentRowNumber15.
    • CommentAuthorDavid_Corfield
    • CommentTimeMar 17th 2021

    I’d be for renaming - perhaps ’basic’ is unnecessary.

    What are examples of limit-preserving functors between locally presentable categories not having left adjoints counter-examples to, Urs? Was it expected for a time that such entities wouldn’t exist?

    Perhaps the pitfall/counter-example distinction is somewhat vague. It seems to rely on the degree/duration of an overturned expectation.

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeMar 17th 2021

    I can see why people wouldn’t want to speak about “basic” category theory, but I feel that this is right on the point here:

    Foundational subjects like category theory, type theory and logic all suffer from the fact that they have a large body of basic, straightforward, almost trivial material on which the actual theory is supported, so that newcomers tend to mistake the toying with the basic notions for engagement with the actual theory.

    For instance, figuring out how some construction extends to a functor is no more a topic of category theory than organizing two apples into a set is a topic of set theory.

    The negative press that category theory tends to receive (and that much type theory and logic deserves to receive, too) is largely based on the continual habit of conflating the actual theory with exploration of its basic notions.

    Substantial results of category theory include the adjoint functor theorem, where counter-examples to the idea that some of its assumptions may be removed are non-trivial and interesting. We list one here. It would be great if anyone interested in counter-examples in category theory could expand the list of counter-examples there!

    • CommentRowNumber17.
    • CommentAuthorDavid_Corfield
    • CommentTimeMar 17th 2021
    • (edited Mar 17th 2021)

    This page is making less and less sense to me. I can see the point of giving examples in situ to show particular pitfalls of plausible expectation, but then they can be matched to the level of expertise of a likely reader there, as with Bourbaki’s dangerous bends. A greatest hits of their dangerous bends makes little sense. Worse here with exposition aimed at different audiences.

    (7). The opposite of the category of commutative von Neumann algebras has a subobject classifier and it’s finitely complete, but is not a topos since it is not cartesian closed.

    surely belongs, if anywhere, to a note at topos, that some conditions do not suffice.

    But enough. This page will in all likelihood slip into obscurity.

    • CommentRowNumber18.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMar 17th 2021
    I think it may be fair to summarize the discussion here by observing that each of the examples in this article
    should really be located at the appropriate page,
    e.g., the example with the opposite category of commutative von Neumann algebras
    could simultaneously go to the articles
    topos, measurable locale, and possibly a few others.

    One problem with this is that this will create duplication, and improvements made to one copy of the example
    will not find their way to the other copies.

    So perhaps each example should have a `canonical' page that is most appropriate for it,
    and the other pages could simply refer to it with a hyperlink.

    Then the page under discussion could be replaced with a list of hyperlinks to other articles.
    • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTimeMar 18th 2021

    Yes, that’s what I suggested in #11 (2). If any author of an example feels it deserves a page all of it’s own, then all the better! But if that seems daunting, contributor’s are invited to add it anywhere that seems fitting and we can take care of turning the result into an !include-file or whatever seems appropriate.

    In short: Just add material to the nnLab as usual. :-)

    • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeMar 18th 2021

    For illustration, I have taken the example that Jonas Frey kindly provided and formatted a little more (following Jonas’ edit here), to show how it should be done:

    1. The remark concerns a property of dense functors, so it goes into the entry dense functor in the section dense functor – Properties

    2. the (counter-)example that proves the remark goes under dense functor – Examples

    Check out the source code to see how the Remark and the Example point to each other.