# nLab indexed (infinity, 1)-category

Contents

### Context

#### $(\infty,1)$-Category theory

(∞,1)-category theory

## Models

#### Higher category theory

higher category theory

## 1-categorical presentations

#### $(\infty,1)$-topos theory

(∞,1)-topos theory

## Constructions

structures in a cohesive (∞,1)-topos

# Contents

## Idea

An indexed (∞,1)-category is the (∞,1)-category theoretic analogue of an indexed category. If $S$ is an (∞,1)-category, then an indexed (∞,1)-category is a functor from $S^{op}$ to (∞,1)Cat.

The (∞,1)-Grothendieck construction establishes an equivalence between (∞,1)-categories indexed by $S$ and Cartesian fibrations over $S$.

## Variants

Varieties of indexed (∞,1)-category can be formed by requiring that the target be monoidal, symmetric, closed, and so on.

Not all kinds of fibration of $(\infty, 1)$-category can be formed in this way. In particular, exponentiable ∞-functors are treated in (AyalaFrancis by maps to $(\infty,1)Prof$, but with extra ‘flagged’ structure. An $(\infty, 1)$-version of proarrow equipments should work here.

In addition, for some purposes conditions may be placed on the indexing category, $S$, such as the atomic orbital $\infty$-categories of Parametrized Higher Category Theory and Higher Algebra.

## References

Last revised on August 24, 2017 at 03:43:47. See the history of this page for a list of all contributions to it.