Stack Representation of Finitely Presented Heyting Pretoposes I

Lingyuan Ye

This is the first of a series of papers on stack representation of finitely presented Heyting pretoposes. In this paper, we provide the first step by constructing a (2, 1)-site, wh…