A multiplicative normal functor is a power functor
Let Comp be the category of compact spaces and continuous mappings. A functor F: Comp\(\to Comp\) is called normal if F is continuous and preserves weights, monomorphisms, epimorphisms, intersections, preimages, singletons and the empty set. It is proved that a normal functor F is the ith power functor for some natural number i whenever F preserves either finite products or absolute retracts. If CG is the category of compact separable topological groups and continuous homomorphisms with the natural forgetful functor U: CG\(\to Comp\) then for a normal functor F: Comp\(\to Comp\) there exists a functor G: CG\(\to CG\) with \(U\circ G=F\circ U\) if and only if F is the ith power functor for some natural number i.
- Un foncteur norme
- Normal functors, power series and -calculus
- scientific article; zbMATH DE number 1477087
- Derived functors of the divided power functors
- Extension of normal functors
- Rings whose multiplicative endomorphisms are power functions
- A normal functor based on the Hartman-Mycielski construction
- Normal functors of degree 3
- Copower functors
- Some Functorial Properties of Nilpotent Multipliers
This page was built for publication: A multiplicative normal functor is a power functor
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q578639)