About the Structured concurrency category