Amnestic Functor¶

A functor for which any source isomorphism mapped to a target identity is necessarily already an identity morphism.

Version: v1 · 2026-09-28 · History
Domain-specific #: 7940
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Category Theory, Categorical Topology → Mathematics
Aliases: Amnestic forgetful functor, Amnestic concrete functor

Core Idea¶

Amnesticity is an identity-reflection condition restricted to isomorphisms. It asks whether a functor can forget so much structure that a genuine change between isomorphic source objects becomes literally invisible as an identity below.

The definition is weaker than full faithfulness and has a sharp counterexample form: one nonidentity source isomorphism with identity image is enough to show failure.

How would you explain it like I'm…

No faithful explanation at this level. All three generators agree: any five-year-old picture ('a forgetting or translating machine that never hides a change') collapses amnesticity into faithfulness or full memory, whereas the concept allows heavy forgetting and only forbids a nonidentity isomorphism from becoming literally an identity.

No Real Move Looks Like Nothing

In a part of math called category theory, there are 'translators' called functors that turn one mathematical world into another, and they are allowed to forget details. Some changes in a world are reversible, like swapping two things and being able to swap them back. A functor is amnestic if it never takes a real reversible change and turns it into the plain 'do nothing' move. It can still forget plenty of other things, and can even make two different changes look the same. One single real change that ends up looking like 'do nothing' is enough to show a functor is not amnestic.

Isomorphism Identity Reflection

In category theory, a functor maps the objects and arrows (morphisms) of one category to another, and it can forget structure along the way. An isomorphism is an invertible arrow, a reversible change between objects that are 'the same shape.' A functor F is amnestic if, whenever F sends an isomorphism to an identity arrow (the 'do nothing' arrow), that isomorphism was already an identity. In other words, it can't forget so much that a genuine change between isomorphic objects becomes literally invisible as an identity. This is weaker than being fully faithful, which demands much more about how arrows are preserved. To show a functor is not amnestic, you only need one counterexample: a single non-identity isomorphism that it sends to an identity.

A functor F: A → B is amnestic if every isomorphism f in A with F(f) an identity morphism is itself an identity. Amnesticity is thus an identity-reflection property restricted to isomorphisms: it asks whether F can forget enough structure that a genuine nonidentity isomorphism between isomorphic source objects becomes literally an identity in the target. The condition is weaker than full faithfulness; an amnestic functor may still identify distinct morphisms or fail to be full, as long as no nonidentity isomorphism collapses to an identity. Failure has a sharp counterexample form: exhibiting one nonidentity isomorphism with identity image suffices.

Scope of Application¶

Category theory. Classifies rigidity of functors.
Concrete categories. Tests whether underlying identities conceal structural change.
Topological categories. Studies structured objects over a base category.
Categorical algebra. Compares amnesticity with faithfulness and conservativity.

Clarity¶

Give source and target categories, object and morphism action, the exact source isomorphism, its identity image and object, and the proof or counterexample that the source morphism is an identity. Inclusion test: Specify categories A and B, functor F, a source isomorphism f, verify that F(f) is an identity on the image object, and test whether f is necessarily the corresponding source identity. Exclusion test: Exclude faithful, conservative, skeletal, or forgetful functors considered without the identity-lifting implication, and tests on arbitrary noninvertible morphisms. Nearest boundary: A faithful functor is amnestic because distinct morphisms cannot share an identity image, but amnesticity alone need not make the functor faithful on all hom-sets. Exit condition: The functor fails the class as soon as one nonidentity source isomorphism maps to a target identity. Common misclassifications: It is not the same as a faithful functor. It is not merely a functor that reflects isomorphisms. It does not test all noninvertible morphisms. A forgetful functor need not be amnestic. Nearest named distinctions: Faithful functor: Is injective on each hom-set and is stronger in a different way. Conservative functor: Reflects whether a morphism is an isomorphism. Forgetful functor: Describes purpose, not necessarily amnesticity. Skeletal category: Restricts isomorphic objects within one category rather than a functor's images.

Manages Complexity¶

The property isolates a precise boundary between harmless information loss and loss that collapses a nontrivial structural equivalence into literal identity.

Abstract Reasoning¶

Choose an arbitrary source isomorphism.
Assume its image is a target identity.
Use source structure and functor behavior to compare its endpoints.
Prove the morphism is the source identity, or exhibit a counterexample.
Distinguish the result from stronger functor properties.

Knowledge Transfer¶

Amnesticity arguments transfer between structured categories only when their notions of object equality, structure preservation, and underlying identity are made explicit.

Relationships to Other Abstractions¶

Current abstraction Amnestic Functor Domain-specific

Parents (1) — more general patterns this builds on

Amnestic Functor is a kind of Functor Domain-specific

An Amnestic Functor is a Functor that reflects target identities among source isomorphisms.

Hierarchy paths (4) — routes to 4 parentless roots

Amnestic Functor → Functor → Category → Associativity → Invariance

Show alternative paths (3)

Neighborhood in Abstraction Space¶

Amnestic Functor sits in a crowded region of the domain-specific corpus (26^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Category Theory & Higher Structures (18 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08