nLab
(infinity,n)-category with duals

Context

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Monoidal categories

Contents

Idea

An (∞,n)-category with adjoints (see there for more) and a dual object for every object.

Definition

Definition

Let CC be an (∞,n)-category. We say that

If CC is in addition a symmetric monoidal (∞,n)-category we say that

Finally we say that

  • CC has duals if it has duals for objects and has adjoints.

This is (Lurie, def. 2.3.13, def. 2.3.16).

References

Revised on February 17, 2014 07:20:13 by Urs Schreiber (89.204.138.58)