Mathematical Sciences Classification System
08Bxx - Varieties 
[See also  03C05]
                    - 
                            08B05Equational logic, Mal'cev (Mal'tsev) conditions
 - 
                            08B10Congruence modularity, congruence distributivity
 - 
                            
                            08B15Lattices of varieties
 - 
                            
                            08B20Free algebras
 - 
                            08B25Products, amalgamated products, and other kinds of limits and colimits [See also 18A30]
 - 
                            08B26Subdirect products and subdirect irreducibility
 - 
                            08B30Injectives, projectives
 - 
                            08B99None of the above, but in this section