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

For more see at (infinity,n)-category with adjoints.

Revised on April 28, 2014 00:22:17 by Urs Schreiber (185.37.147.12)