Representability through the category of elements
ID: representability-through-the-category-of-elements
For , the comma category is the category of elements: an object is with . Its initial objects are exactly the representations of .
New to topics? Read the docs here!