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.

Structural Signature¶

Sig role-phrases:

Source category A — Contains structured objects, morphisms, and the tested isomorphism. It is domain. Counterfactual: Without source isomorphisms there is no amnesticity test.
Target category B — Contains the functor's images and identity morphisms. It is codomain. Counterfactual: Identity must be evaluated on the appropriate image object.
Functor F — Maps objects and morphisms while preserving composition and identities. It is map. Counterfactual: An arbitrary mapping cannot have this categorical property.
Source isomorphism f — Provides the morphism eligible for the defining implication. It is test input. Counterfactual: The condition is not asserted for every noninvertible morphism.
Identity image F(f) — Triggers the amnesticity implication. It is trigger. Counterfactual: A merely isomorphic target morphism is insufficient.
Identity conclusion — Requires f to be the source identity and hence its endpoints to coincide appropriately. It is rigidity output. Counterfactual: A nontrivial invisible isomorphism refutes amnesticity.

What It Is Not¶

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.
Closest near-miss. 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.

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.

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.

Examples¶

Canonical¶

To prove a forgetful functor amnestic, take any structured isomorphism f whose underlying map is the identity and show preservation of structure forces its source and target structure to be equal and f to be their identity.

Mapped back: source → structured category; functor → underlying object; test → isomorphism; image → identity; conclusion → same structure and identity.

Applied / In Practice¶

If two distinct but isomorphic structures on one underlying set are related by an isomorphism whose underlying function is the identity, the forgetful functor is not amnestic.

Mapped back: structures → distinct; source isomorphism → nonidentity; image → identity; verdict → counterexample.

Structural Tensions¶

T1 — Forgetting Structure versus Detecting Identity. A functor may discard data yet still forbid nontrivial isomorphisms from becoming identities.

Diagnostic: Exactly which invisible changes of structure remain possible?

T2 — Local Rigidity versus Global Faithfulness. Amnesticity controls one special class of isomorphisms but not arbitrary pairs of morphisms.

Diagnostic: Is a stronger property being assumed without proof?

Structural–Framed Character¶

Amnestic Functor is strongly structural as reflection of identity among source isomorphisms.

Structural Core vs. Domain Accent¶

The skeleton is functor, source isomorphism, identity image, and identity conclusion. Category theory supplies objects, morphisms, and comparison properties.

This entry is a kind of Functor.

Approved root. No reviewed parent entails this functorial identity-reflection condition.
Related — faithful functor, conservative functor, forgetful functor, and isofibration. They are neighboring functor properties with different tests.

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

Not to Be Confused With¶

Faithful functor. Tell: Is injective on each hom-set and is stronger in a different way.
Conservative functor. Tell: Reflects whether a morphism is an isomorphism.
Forgetful functor. Tell: Describes purpose, not necessarily amnesticity.
Skeletal category. Tell: Restricts isomorphic objects within one category rather than a functor's images.

References¶

Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Amnestic_functor (revision 931558415).
Preserved source candidate: http://katmat.math.uni-bremen.de/acc/acc.pdf

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.