Skip to main content
5 events
when toggle format what by license comment
Aug 7, 2012 at 19:37 vote accept Mohamed Barakat
Aug 5, 2012 at 14:27 answer added Florian Eisele timeline score: 13
Aug 4, 2012 at 17:35 comment added Simone Virili By wide subcategory one usually means a subcategory which contains all the objects of the original category (but not necessarily all the morphisms, as in this question). A better notion is that of essentially wide which just means that the inclusion functor is essentially surjective on objects (the subcategory contains at least one object for each isomorphism class).
Aug 4, 2012 at 15:37 comment added André Henriques Your question would gain in clarity if you explained the meaning of "wide".
Aug 3, 2012 at 14:51 history asked Mohamed Barakat CC BY-SA 3.0