General Topology EntityStore

Entity store representing definitions and theorems of point-set topology

Formatting rules available through EntityValue["GeneralTopologyTheorem","TraditionalFormMakeBoxAssignments"], usage messages available through EntityValue["GeneralTopologyTheorem","Activate"]

(2 entity types, 441 entities, 21 properties)

Examples

Basic Examples

Retrieve the ResourceObject:

In[1]:=
ResourceObject["General Topology EntityStore"]
Out[1]=

View the data:

In[2]:=
ResourceData["General Topology EntityStore"]
Out[2]=

Add it to your local $EntityStores:

In[3]:=
PrependTo[$EntityStores, ResourceData["General Topology EntityStore"]]
Out[3]=

Activate usage messages and add “GeneralTopology`” to your $ContextPath:

In[4]:=
EntityValue["GeneralTopologyTheorem", "Activate"] // Activate;

View random concepts:

In[5]:=
RandomEntity["GeneralTopologyConcept", 5]
Out[4]=

View random theorems:

In[6]:=
RandomEntity["GeneralTopologyTheorem", 5]
Out[5]=

Visualization

View full theorem statements:

In[7]:=
Entity["GeneralTopologyTheorem", 
  "ClassicalAscolisTheorem"]["SummaryGrid"]
Out[6]=

View relationships between concepts and theorems:

In[8]:=
conceptNodes = 
  Style[#, RGBColor[0.65, 1, 0.65]] & /@ 
   EntityList["GeneralTopologyConcept"];
theoremNodes = 
  Style[#, RGBColor[1, 1, 0.5]] & /@ 
   EntityList["GeneralTopologyTheorem"];
nodes = Join[conceptNodes, theoremNodes];
conceptEdges = 
  Flatten[Thread /@ 
    Normal@Select[
      EntityValue["GeneralTopologyConcept", "RelatedConcepts", 
       "EntityAssociation"], Length[#] > 0 &]];
theoremEdges = 
  Flatten[Thread /@ 
    Normal@Select[
      EntityValue["GeneralTopologyTheorem", "RelatedConcepts", 
       "EntityAssociation"], Length[#] > 0 &]];
edges = Join[conceptEdges, theoremEdges];
Graph[nodes, edges, EdgeStyle -> RGBColor[0.65, 0.65, 1]]
Out[7]=

Wolfram Research, "General Topology EntityStore" from the Wolfram Data Repository. (2016) https://doi.org/10.24097/wolfram.56398.data

Source Metadata

Data Downloads