subobject in an (infinity,1)-category
Let be an (∞,1)-category and an object.
This is the category whose objects are monomorphisms in and whose morphisms are 2-morphisms
U_1 &&\to&& U_2
& \searrow &\swArrow& \swarrow
This appears for instance in (Lurie, section 6.2).
Revised on December 4, 2012 00:57:53
by Urs Schreiber