1 paper
Thomas Forster, Adam Lewicki, Alice Vidrine
This paper examines the category theory of stratified set theory (NF and KF). We work out the properties of the relevant categories of sets, and introduce a functorial analogue to…