Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Functor
|
| gptkbp:codomain |
Category of sets
|
| gptkbp:does_not_preserve |
finite colimits
|
| gptkbp:domain |
Category of sets
|
| https://www.w3.org/2000/01/rdf-schema#label |
Power set functor
|
| gptkbp:is_covariant |
true
|
| gptkbp:is_not_faithful |
true
|
| gptkbp:is_not_full |
true
|
| gptkbp:is_not_representable |
true
|
| gptkbp:maps_morphism |
Function between sets
|
| gptkbp:maps_morphism_to |
Image function between power sets
|
| gptkbp:maps_object |
Set
|
| gptkbp:maps_object_to |
Power set of the set
|
| gptkbp:notation |
P
|
| gptkbp:preserves |
finite limits
|
| gptkbp:relatedTo |
subobject classifier
powerset monad |
| gptkbp:bfsParent |
gptkb:Endofunctor
|
| gptkbp:bfsLayer |
6
|