Ingredients
Incarnations
Properties
Universal aspects
Classification
Induced theorems
…
In higher category theory
A functor is multirepresentable if it is a coproduct of representable functors.
A functor is multirepresentable if and only if each connected component of its category of elements has an initial object: this is Proposition 2.1.2 of Diers 1977.
Multirepresentable presheaves are called familially representable in:
Last revised on December 5, 2023 at 00:01:57. See the history of this page for a list of all contributions to it.