1
범주
카테고리의 정의와 기본개념들
2
함자
함자의 정의와 예시들
3
자연변환
Natural transformation과 category들 사이의 equivalence
4
표현가능한 함자
Initial object, terminal object, representable functor
5
극한
극한과 여극한
6
모노이드 범주
Monoidal category의 정의와 coherence 조건
7
모노이드 대상
Monoidal category 내부의 monoid object와 그 예시들
8
수반함자
Left, right adjoint functor의 정의
9
아벨 카테고리
아벨 카테고리