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
This appears for instance in (Lurie, section 6.2).
Revised on December 4, 2012 00:57:53
by Urs Schreiber