§ Filtered Colimits [TODO ]

• Reference