Prerequisites:
3-0-0-9
Course Contents
Introduction: Basic definition and diagram; sources and sinks; monicity and epicity; isomorphisms of objects and morphisms; duality; Universal Structures: Initial terminal and zero; Category of sources and sinks; product; equalizer; regular epicity and monicity; pullback; completeness; kernel; Normal Categories: Normal hierarchy; extension of categories; factorization; chains and exactness; Morphism algebra: Bi-product; semi additive category; Additive category; Functors:Natural transformation; categories on natural transformation; property preserving and reflecting functors; Diagram isomorphism; Similar categories; generalization of limit and co limit; H reflection morphism and ad joint functor; Representable functors Category in context of another category; Application to Logic (Topoi); application to Programming Languages.
Topics
Current Course Information
Instructor(s):
Number of sections:
Tutors for each section:
Schedule for Lectures:
Schedule for Tutorial:
Schedule for Labs: