Kategoria: Efficiently Simulatable Circuits