In category theory, thereβs often the sense that βthings just workβ, and that details can be skipped as everything is well behaved. Unfortunately, this is not quite true.
The counterexamples here should serve as specimens of possible pittfalls in category theory, and give an idea of what could go wrong.
Sending an object of a category to its automorphism group (or its endomorphism monoid ) does not in general extend to a functor from to Groups.
It does however extend to a functor on the core of (the maximal groupoid inside it, keeping only the isomorphisms of ), where it sends morphisms (now constrained to be isomorphisms) to their conjugation action:
For example, if is the fundamental groupoid of a topological space (which thus coincides with its core already), then the automorphism groups of its objects are the fundamental groups at these basepoints, which famously are functorial under conjugation by paths in .
Forming the center of a group does not extend to a functor from Groups to AbelianGroups.
It does extend to a functor on the core, though:
Notice that this example is really a special case of the previous one (forming automorphism groups), or rather of a 2-category theoretic version of it: The center of a group is the automorphism group in the endo-functor category of the identity functor on the one-object delooping-groupoid of :
Composing a monadic functor with another monadic functor need not be monadic. For example, Torsion-free abelian groups are monadic over abelian groups, which are monadic over sets, but torsion-free abelian groups are not monadic over sets.
Taking the skeleton of a monoidal category does not in general result in a strict monoidal category. The argument in the case of Set is given in this MO answer. In particular, one cannot in general replace a monoidal category with an equivalent category that is simultaneously strict monoidal and skeletal.
The category of topological spaces and local homeomorphisms is locally cartesian closed but not cartesian closed since it does not have a terminal object.
There are functors (taking the vector space of displacements) and (taking the underlying affine space) between the categories of vector spaces and affine spaces, and we have for any , and for any there exists some isomorphism (after choosing a point in to serve as the origin), but the categories are not equivalent β the second isomorphisms cannot be chosen naturally, not even after restricting to the cores.
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. See this MO question.
There is a βwrong right adjointβ to the functor (as described in Petri nets#semantics) which sends a commutative monoidal category to the Petri net whose source and target are and where and are the source and target of and is the unit for the monad . In words, is sent to the Petri net whose source and target are the source and target of composed with . The natural choice of isomorphism , where is the functor just described, turns out not to yield well-defined morphisms of Petri nets. See Remark 4.4 in Master 2020
Let be a category without an initial object and let be the unique functor from into the terminal category. Then preserves all limits but does not have a left adjoint because this left adjoint would have to send the unique object of 1 to an initial object.
Consider the functor that sends a group to the set , where the groups are simple for all , is the class of all ordinals, and the cardinality of eventually becomes bigger than any fixed cardinal as increases. This is a limit-preserving functor between locally presentable categories. However, it does not have a left adjoint.
Dense functors are not closed under composition. For example, is dense in the simplex category and is dense in , but is not dense in .
The initial import of counterexamples in this entry was taken from this Zulip discussion.
Last revised on May 31, 2022 at 05:56:15. See the history of this page for a list of all contributions to it.