§ Subobject classifiers of NFinSetN \to FinSet, or precosheaf of FinSetFinSet

§ Subobject classifier in S2S^2

   f
S0 -> S1
v     v
|i    |i'
v     v
X0 -> X1
   g

§ Proof that this is the subobject classifier

X0 ---Χ[f]0--> Ω0
|               |
f0            force0
v               v
X1 - Χ[f]1- -> Ο1
   [to be determined]

§ Why NFinSetN \to FinSet does not have subobject classifier