범주론 초급

span에 대한 글을 써보다가 구조를 논하는게 진짜 뒤지게 어렵다는걸 깨달았다.

아, 범주 정의하고, universal property를 initial object로 정의하고, 등등 진행하면 될거같은데

범주 자체가 대상이 집합으로 정의될수 없다는 개념 자체가 되게 맘에 안드네