PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
power object (Definition)

This current version of this entry, for this view style, is marked as broken, so it can't be shown. This problem is probably being worked on, but you might want to contact the entry's owner just in case. For now, you can also try selecting another view style below.

Optionally, you can elect to see an old copy of this entry.


Anyone with an account can edit this entry. Please help improve it!

"power object" is owned by rmilson. [ full author list (4) ]
(view preamble | get metadata)

View style:

See Also: power set, subobject, subobject classifier, topos

Keywords:  PowerSet, Subobject, SubobjectClassifier, topoi, topos
Log in to rate this entry.
(view current ratings)

Cross-references: topoi, axioms, equivalent monomorphisms, Yoneda Lemma, represents, composition, fix, monomorphisms are pullback stable, contravariant functor, monomorphism, subobject, isomorphism, equivalence class, pullbacks, limits, finite, products, domains, isomorphic, category of sets, moment, codomain, morphisms, homomorphisms, class, object, maps, one-to-one, categories, set theory, subsets, power set
There are 3 references to this entry.

This is version 26 of power object, born on 2006-02-17, modified 2009-06-03.
Object id is 7630, canonical name is PowerObject.
Accessed 1613 times total.

Classification:
AMS MSC18A20 (Category theory; homological algebra :: General theory of categories and functors :: Epimorphisms, monomorphisms, special classes of morphisms, null morphisms)

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)