Prospecies of algebras I: Basic properties - Julian Külshammer (2016)