[일반] 레퍼앙망

[ㅈ나힙하게식자..(almost9585)]

C가 모든 k-small colimit을 가지면 Ind_k(C)가 cocomplete

C는 ordinary또는 (infty,1)-cat

증명짧으면써줘도좋음

- dc official App

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[수갤러 1(182.225)]

ㅋㅋㅋㅋㅋㅋ 닉 시발련아

[ㅈ나힙하게식자재를사야돼(almost9585)]

[익명(spinoza1632)]

개소리일수도 있는데 kashiwara 3.2.8에서 colimit을 filtered colimit, finite colimit으로 나누는것처럼 k-filtered, k-small로 나누면 됐던 것 같음

[익명(spinoza1632)]