Contents

### Context

#### Higher category theory

higher category theory

# Contents

## Idea

An (∞,n)-category $\mathcal{C}$ is said to have 1-adjoints if in its homotopy 2-category $Ho_2(\mathcal{C})$ every 1-morphism is part of an adjunction. By recursion, for $n \geq 3$ and $k \geq 2$ an (∞,n)-category has $k$-adjoints if for every pair $X, Y$ of objects the hom (∞,n-1)-category $\mathcal{C}(X,Y)$ has adjoints for $(k-1)$-morphisms.

An $(\infty,n)$-category has all adjoints (or just has adjoints, for short) if it has adjoints for $k$-morphisms for $0 \lt k \lt n$.

If in addtition every object in $\mathcal{C}$ is a fully dualizable object, then $\mathcal{C}$ is called an (∞,n)-category with duals.

## Properties

### Internal language

The internal language of $(\infty,n)$-categories with duals seems plausibly to be axiomatizable in opetopic type theory.

## References

The notion appears first in section 2.3 of

A model for $(\infty,n)$-categories with all adjoints in terms of (∞,1)-sheaves on a site of a variant of $n$-dimensional manifolds with embeddings between them is discussed in

• David Ayala, Nick Rozenblyum, Weak $n$-categories are sheaves on iterated submersions of $\leq n$-manifolds (in preparation)

• David Ayala, Nick Rozenblyum, Weak $n$-categories with adjoints are sheaves on $n$-manifolds (in preparation)

previewed in

Last revised on November 6, 2014 at 18:27:56. See the history of this page for a list of all contributions to it.