Deakstadieđáhus: Polygroup theory and related systems