Categories on circuits as code