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!