अपनी प्राथमिकता निर्धारित करें
फ़ॉन्ट स्केलिंग
अप्राप्ति
पृष्ठ अनुमापन
अप्राप्ति
रंग समायोजन
भा.प्रौ.सं.कानपुर

सीएस680ए - श्रेणी सिद्धांत

IITK

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: