Generalization of the concept of variety and quasivariety to partial algebras through category theory (Rozprawy matematyczne)