For an initial functor , restriction gives an isomorphism between the category of cones over and that over . Given a cone over , choose and define its -leg as ; connectedness of makes the result independent of the choice.
Articles by others on the same topic
There are currently no matching articles.