A strict functor is amnestic if its domain has no more duplication of isomorphic objects than its codomain.
As ‘amnestic’ is basically a fancy synonym of ‘forgetful’, the idea is to identify a property that one would like in a forgetful functor.
For example, the notion of amnestic functors formalizes the sense in which the concrete category of metric spaces and continuous maps is often better thought of as the category of metrizable topological spaces (and continuous maps), by identifying a property that the forgetful functor has but does not.
There is a corresponding notion of amnesticization of a functor (called the amnestic modification in The Joy of Cats), which replaces the domain with an equivalent category, relative to which the functor becomes amnestic. Applying this to produces a category isomorphic to . Although not needed in this case, we need the axiom of choice (AC) in general to prove that every functor has an amnesticization. Without AC, we can use amnestic anafunctors to make everything work out, although much of the convenience is lost.
Amnesticity is really a property of strict functors (or anafunctors) between strict groupoids. Groupoids, because the non-isic morphisms play no role in the definition; only the categories' cores matter, and a functor is amnestic iff its core is amnestic. Strict, because the definition requires us to state (in two places) that some isomorphic objects are equal; weakening the definition to follow the principle of equivalence leads to a trivial property that every functor satisfies. (That is, up to equivalence, every functor is amnestic, which is because every functor is equivalent to its amnesticization.)
Let and be two strict categories, and let be a strict functor from to . We say that is amnestic if its groupoid core reflects identity morphisms.
Explicitly, is amnestic iff, for every isomorphism in that takes to an identity morphism , then already itself is an identity morphism.
In other words, a functor is amnestic if its strict fibers are gaunt.
Observe that this is similar to a conservative functor, which reflects isomorphisms rather than identities.
If we follow the principle of equivalence and refuse to state equalities between objects, then we must modify the hypothesis to say that and are isomorphic in (say via ) and is the identity relative to this isomorphism (so ; since we can simply let be , this is trivial (beyond the initial isomorphism ). Similarly, we must modify the conclusion to say that and are isomorphic (say via ) and is the identity relative to this isomorphism (so ); since we can simply let be , this is also trivial. Thus up to equivalence, this property is trivial; on the other hand, it is preserved by isomorphism.
Now let and be two strict categories, and let be an anafunctor from to . We again say that is amnestic if its core reflects identity morphisms. Explicitly, now is amnestic iff, whenever and are objects of , is an isomorphism in from to , is a specification of for the anafunctor , is a specification of for the anafunctor , and are equal objects in , and is the identity morphism on this object in , then and are equal objects in , and is the identity morphism on this object in .
We might also demand that ; this is automatic if is saturated.
An amnestic full and faithful functor is automatically an isocofibration, i.e. injective on objects: if , then there is some isomorphism in such that , but then we must have , so .
An amnestic isofibration has the following lifting property: for any object in and any isomorphism in , there is a unique isomorphism such that . Indeed, if were any other isomorphism such that , then , so we must have . Amnestic isofibrations are occasionally called discrete isofibrations, but this term may be misleading, because they are not isofibrations with discrete fibres.
If the composite is an amnestic functor, then is also amnestic.
Most famous forgetful functors are amnestic, such as , , , and . Even is amnestic, since the morphisms in Met are short maps. However, , where the morphisms are continuous maps, is not amnestic, as is shown by any set with two different but topologically equivalent metrics (such as with the and metrics).
The forgetful functor from a groupoid of structured sets is amnestic. The examples above may all be defined by starting from such a groupoid and specifying which functions preserve the structure (and so are morphisms in the category of structured sets). So long as this produces no additional isomorphisms, the forgetful functor will be amnestic. But in the case of , any non-isometric homeomorphism will be an isomorphism that was not in the original groupoid (consisting only of surjective isometries), and so this forgetful functor is not amnestic.
Any strictly monadic functor is amnestic. Conversely, any monadic functor that is also an amnestic isofibration is necessarily strictly monadic.
J. Adámek, H. Herrlich and G.E. Strecker: The Joy of Cats, Chapter I, Definition 3.27.
G. Preuß: Theory of Topological Structures: An Approach to Categorical Topology. D. Reidel Publishing Company. Mathematics and Its Applications, Dordrecht, Holland 1988. p. 178, footnote 31
Last revised on October 30, 2024 at 11:28:40. See the history of this page for a list of all contributions to it.