Robuta

https://ncatlab.org/nlab/show/finitely+complete+type/cite Cite — finitely complete type in nLab finitely completecitetypenlab