A category that has objects that are themselves categories.

A category that has morphisms that are themselves categories.

A category that has both objects and morphisms that are categories.

None of the above.

Higher categories are a generalization of n-categories.

N-categories are a generalization of higher categories.

Higher categories and n-categories are equivalent concepts.

None of the above.

Coherence ensures that the composition of morphisms in a higher category is associative.

Coherence ensures that the composition of morphisms in a higher category is commutative.

Coherence ensures that the composition of morphisms in a higher category is both associative and commutative.

None of the above.

A simplicial set is a collection of simplices, which are geometric objects with vertices and edges.

A simplicial set is a category whose objects are simplices and whose morphisms are simplicial maps.

A simplicial set is a topological space that can be constructed from a collection of simplices.

All of the above.

The nerve functor converts a higher category into a simplicial set.

The nerve functor converts a simplicial set into a higher category.

The nerve functor establishes a correspondence between higher categories and simplicial sets.

None of the above.

A continuous deformation of one morphism to another.

A path in the space of morphisms between two objects.

A sequence of morphisms connecting two objects.

None of the above.

A weak equivalence is a morphism that induces an isomorphism on homotopy groups.

A weak equivalence is a morphism that preserves composition.

A weak equivalence is a morphism that is invertible up to homotopy.

None of the above.

A model category is a category that has a notion of weak equivalences and fibrations.

A model category is a category that can be used to construct higher categories.

A model category is a category that is equivalent to a simplicial set.

None of the above.

The Quillen-Suslin theorem establishes a correspondence between model categories and higher categories.

The Quillen-Suslin theorem provides a method for constructing higher categories from model categories.

The Quillen-Suslin theorem characterizes the homotopy theory of higher categories.

None of the above.

The Yoneda lemma provides a way to represent higher categories as functors.

The Yoneda lemma establishes a relationship between higher categories and simplicial sets.

The Yoneda lemma characterizes the homotopy theory of higher categories.

None of the above.

A Segal space is a simplicial space that satisfies certain coherence conditions.

A Segal space is a category that can be realized as a simplicial space.

A Segal space is a model for a higher category.

None of the above.

Operads are algebraic structures that encode the composition of morphisms in a higher category.

Higher categories can be constructed from operads.

Operads and higher categories are equivalent concepts.

None of the above.

A monoidal category is a category that has a tensor product operation.

A monoidal category is a category that can be used to construct higher categories.

A monoidal category is a category that is equivalent to a simplicial set.

None of the above.

A closed monoidal category is a monoidal category that has an internal hom functor.

A closed monoidal category is a category that can be used to construct higher categories.

A closed monoidal category is a category that is equivalent to a simplicial set.

None of the above.

A symmetric monoidal category is a monoidal category where the tensor product operation is commutative.

A symmetric monoidal category is a category that can be used to construct higher categories.

A symmetric monoidal category is a category that is equivalent to a simplicial set.

None of the above.