Statements (23)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | 
                                    
                                        
                                            gptkb:cohomology_theory
                                        
                                         | 
                            
| gptkbp:alsoKnownAs | 
                                    
                                        
                                            
                                            singular cohomology
                                        
                                        
                                         | 
                            
| gptkbp:appliesTo | 
                                    
                                        
                                            
                                            topological spaces
                                        
                                        
                                         | 
                            
| gptkbp:definedIn | 
                                    
                                        
                                            
                                            cochain complexes
                                        
                                        
                                         | 
                            
| gptkbp:generalizes | 
                                    
                                        
                                            
                                            generalized cohomology theories
                                        
                                        
                                         | 
                            
| gptkbp:hasCoefficient | 
                                    
                                        
                                            
                                            finite fields
                                        
                                        
                                         real numbers integers  | 
                            
| gptkbp:hasDual | 
                                    
                                        
                                            
                                            ordinary homology
                                        
                                        
                                         | 
                            
| gptkbp:hasFunctor | 
                                    
                                        
                                            
                                            contravariant functor
                                        
                                        
                                         | 
                            
| gptkbp:hasGrading | 
                                    
                                        
                                            
                                            integer grading
                                        
                                        
                                         | 
                            
| gptkbp:introducedIn | 
                                    
                                        
                                            
                                            20th century
                                        
                                        
                                         | 
                            
| gptkbp:operator | 
                                    
                                        
                                            gptkb:Steenrod_squares
                                        
                                         | 
                            
| gptkbp:product | 
                                    
                                        
                                            
                                            cup product
                                        
                                        
                                         | 
                            
| gptkbp:relatedTo | 
                                    
                                        
                                            
                                            homology
                                        
                                        
                                         | 
                            
| gptkbp:satisfies | 
                                    
                                        
                                            gptkb:Eilenberg–Steenrod_axioms
                                        
                                         | 
                            
| gptkbp:usedFor | 
                                    
                                        
                                            
                                            classifying topological spaces
                                        
                                        
                                         computing invariants  | 
                            
| gptkbp:usedIn | 
                                    
                                        
                                            gptkb:topology
                                        
                                         | 
                            
| gptkbp:uses | 
                                    
                                        
                                            
                                            abelian groups
                                        
                                        
                                         | 
                            
| gptkbp:bfsParent | 
                                    
                                        
                                            gptkb:Intersection_cohomology
                                        
                                         | 
                            
| gptkbp:bfsLayer | 
                                    
                                        
                                            
                                            9
                                        
                                        
                                         | 
                            
| https://www.w3.org/2000/01/rdf-schema#label | 
                                    
                                        
                                            
                                            Ordinary cohomology
                                        
                                        
                                         |