इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें एक छोटी श्रेणी C के लिए, presheaves \\ mathrm ^ के topos में उप-वस्तु वर्गीकरणकर्ता निम्नानुसार दिया गया है.
बेशक, वाक्य का एक अधिक जटिल संस्करण है "छोटी श्रेणी सी के लिए, presheaves \\ mathrm ^ के topos में सबऑब्जेक्ट वर्गीकरणकर्ता फंक्टर है जो सी में किसी भी सी को सी पर sieves के सेट में भेजता है। "