| 
        Lecturer(s)
     | 
    
        
            
                - 
                    Botur Michal, doc. Mgr. Ph.D.
                
 
            
         
     | 
    | 
        Course content
     | 
    
        1) Introduction of categories, examples 2) Basic concepts (epimorphisms, monomorphisms, initial and terminal objects, functor, natural transformation), 3) Limits and products (colimits and coproducts), 4) Adjunct functors 5) Monads and algebras 
         
         
     | 
    | 
        Learning activities and teaching methods
     | 
    | 
        
        Lecture, Monologic Lecture(Interpretation, Training), Dialogic Lecture (Discussion, Dialog, Brainstorming)
        
        
     | 
    
    
        
        
            | 
                Learning outcomes
             | 
        
        
            
                
                Understand the basics of category theory.
                 
                
                 
                
             | 
        
        
            | 
                Prerequisites
             | 
        
        
            
                
                
                Knowledge of set theory and theoretical algebra.
                
                
                    
                        
                    
                    
                
                
  
             | 
        
        
            | 
                Assessment methods and criteria
             | 
        
        
            
                
                    
                        Oral exam, Written exam
                        
                        
                         
                        
                    
                    
                
                
                 
             | 
        
    
    | 
        Recommended literature
     | 
    
        
            
                
                - 
                    Francis Borceux. Handbook of Categorical Algebra I-III. 
                
 
            
                
                - 
                    Jiří Adámek, Horst Herrlich, George E. Strecker. (2009). Abstract and Concrete Categories. 
                
 
            
                
                - 
                    Saunders Mac Lane. (1971). Categories for the Working Mathematician. 
                
 
            
                
                - 
                    Tom Leinster. Basic Category Theory. 
                
 
            
         
         
         
     |