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 (fully) 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). See at fully dualizable object

Properties

Internal language

The internal language of (,n)(\infty,n)-categories with duals seems plausible to be aximatized inside opetopic type theory.

Examples

References

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

Revised on November 6, 2014 18:29:25 by Urs Schreiber (81.194.35.225)