Pro-species of algebras and monomorphism categories

Date: