Biçim kategorisi

Abstract

Bu çalışmadaki amacımız biçim kategorisinin bir tanımını ve bu kategorinin morfizmleriyle ilgili bir teoremin ispatını vermektedir. Bu amaçla, önce birinci bölümde kategoriler ve funktorlarla ilgili genel bilgiler verdikten sonra ikinci bölümde direkt ve invers sistemler ve bunların limitleri üzerinde durduk. Üçüncü bölümde invers sistemler kategorileri ve prokategorileri ele aldık ve son bölümde biçim kategorisini inşa ettik. Son olarak biçim morfizmi temsilcilerini çifte limit olarak ifade eden teoremi ispat ettik.