TWiki> Mizar Web>MathematicsSubjectClassification>18>18B (2007-01-04, MarcoRiccardi)EditAttach

18B Special categories

Section P S
18B05? Category of sets, characterizations See also 03-xx    
18B10? Category of relations, additive relations      
18B15? Embedding theorems, universal categories See also 18E20    
18B20? Categories of machines, automata, operative categories See also 03D05, 68Qxx    
18B25? Topoi See also 03G30    
18B30? Categories of topological spaces and continuous mappings See also 54-xx    
18B35? Preorders, orders and lattices (viewed as categories) See also 06-xx    
18B40 Groupoids, semigroupoids, semigroups, groups (viewed as categories) See also 20Axx, 20L05, 20Mxx 1  
18B99? None of the above, but in this section      

P = Primary classification

S = Secondary classification

WebForm
TopicClassification MathSC2000
ProjectGroup?

ImplementationDate? N/A
Edit | Attach | Print version | History: r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r1 - 2007-01-04 - 10:23:44 - MarcoRiccardi
 
Mizar TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback