Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Endofunctors of set determined by their object map - MaRDI portal

Endofunctors of set determined by their object map (Q1417764)

From MaRDI portal





scientific article; zbMATH DE number 2021899
Language Label Description Also known as
English
Endofunctors of set determined by their object map
scientific article; zbMATH DE number 2021899

    Statements

    Endofunctors of set determined by their object map (English)
    0 references
    6 January 2004
    0 references
    A set functor \(F\) is called a DVO-functor if \(F\) is naturally equivalent to any set functor \(G\) such that \(|FX|=|GX|\) for any set \(X\). The author says that a set functor is finitary if \(|FX|=|X|\) for all infinite sets \(X\). The aim of this paper is to present two special classes of finitary DVO-set functors. One of the presented classes of finitary DVO-set functors is a modification of the power set functor.
    0 references
    set functor
    0 references
    DVO-functor
    0 references
    cardinal function
    0 references
    0 references

    Identifiers