19/04/05 13:56:49.10 VayTWyHw.net
>>184 追加
ind-object：インド象？ｗ（＾＾
URLﾘﾝｸ(ncatlab.org)
nLab
ind-object Last revised on April 12, 2018
Contents
1. Idea
2. Definition
As diagrams
As filtered colimits of representable presheaves
3. Examples
4. Properties
The category of ind-objects
Recognition of Ind-objects
Functoriality
The case that C already ad