Inductive construction of repletion. Applied Categorical Structures (1997)

by Streicher