nLab
amnestic functor

Amnestic functors

Definition

An amnestic functor is a functor U:π’Ÿβ†’π’žU : \mathcal{D} \to \mathcal{C} (between strict categories) that reflects identity morphisms: more precisely, for any isomorphism f:aβ†’bf\colon a \to b in π’Ÿ\mathcal{D}, if Ua=UbU a = U b and Uf=id UaU f = id_{U a}, then a=ba = b and f=id af = id_a.

Properties

  • An amnestic full and faithful functor is automatically an isocofibration, i.e. injective on objects: if UDβ€²=UDU D' = U D, then there is some isomorphism f:Dβ€²β†’Df : D' \to D in π’Ÿ\mathcal{D} such that Uf=id UDU f = id_{U D}, but then we must have f=id UDβ€²=id UDf = id_{U D'} = id_{U D}, so Dβ€²=DD' = D.

  • An amnestic isofibration has the following lifting property: for any object DD in π’Ÿ\mathcal{D} and any isomorphism f:Cβ†’UDf : C \to U D in π’ž\mathcal{C}, there is a unique isomorphism f˜:CΛœβ†’D\tilde{f} : \tilde{C} \to D such that Uf˜=fU \tilde{f} = f. Indeed, if fΛœβ€²:CΛœβ€²β†’D\tilde{f}' : \tilde{C}' \to D were any other isomorphism such that UfΛœβ€²=fU \tilde{f}' = f, then U(f˜ βˆ’1∘fΛœβ€²)=id CU (\tilde{f}^{-1} \circ \tilde{f}') = id_C, so we must have f˜=fΛœβ€²\tilde{f} = \tilde{f}'.

  • If the composite U∘KU \circ K is an amnestic functor, then KK is also amnestic.

Examples

  • Any strictly monadic functor is amnestic. Conversely, any monadic functor that is also an amnestic isofibration is necessarily strictly monadic.

References

  • AdΓ‘mek, Herlich and Strecker, The Joy of Cats, Chapter I, Definition 3.27.

Revised on February 21, 2013 16:07:17 by Todd Trimble (98.208.182.196)