| 
	
		|  |  
		| 
	
		| 
				
				
					| Main Menu |  
					| 
		                    
			                    | Sections
                                    
                                    
                                    
                                    
                                    
                                     
                                    
                                        Meta
                                    
                                    
                                    
                                    
                                        Talkback
                                    
                                    
                                    
                                    
                                    
                                     
                                    
                                        Downloads
                                    
                                    
                                    
                                    
                                        Information |  |  |  |  | 
    
| 
	
		| 
				
				
					| 
				
					| hereditary category | (Definition) |  |  
					| | Definition 0.1   Let 
   be a locally small 
  -category. A subcategory 
   of 
   is called hereditary  if it verifies the following condition: if    is an object  in a full subcategory 
   of 
  , then any subobject of    is also in 
  . 
 | 
 "hereditary category" is owned by bci1.
 |  |  
					
						| Keywords: | hereditary category |  Cross-references: object
 
 This is version 1 of hereditary category, born on 2009-02-16.
 Object id is 528, canonical name is HereditaryCategory.
 Accessed 715 times total.
 
 Classification:
 
 | 
        |  |  
        |  |  
        |  |  
        | 
	
		| 
				
					| 
							
								| Pending Errata and Addenda |  |  |  
		|  |  |  
        |  |  
        |  |  |