Definition folds_pre_2_cat : UU := ∑ C, is_folds_pre_2_cat C.
Require Import UniMath.Folds.UnicodeNotations. Require Import UniMath.Foundations.PartD. Require Import UniMath.Foundations.Propositions. Require Import UniMath.Foundations.Sets.