This paper consists in the formulation of a novel categorical set theory, MLCat, which is proved to be equiconsistent to New Foundations (NF), and which can be modulated to correspond to intuitionistic (denoted with an “I” on the left) or classical NF, with atoms (denoted with a “U” on the right) or not: