bicategorical
Look at other dictionaries:
Traced monoidal category — In category theory, a traced monoidal category is a category with some extra structure which gives a reasonable notion of feedback.A traced symmetric monoidal category is a symmetric monoidal category C together with a family of… … Wikipedia
