Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeSep 27th 2012
   • (edited Sep 27th 2012)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have been adding basic propositons and their (farily) detailed proofs at _[[injective object]]_ in the section _[Existence of enough injectives](http://ncatlab.org/nlab/show/injective+module#ExistenceOfEnoughInjectives)_. This expands on statements and proofs mentioned in other entries, notably at _[[injective object]]_, also at _[[coextension of scalars]]_ (stuff added by Todd, I think). Generally, it is often hard to decide in which entry exactly to put a theorem. Often there are several choices. Best of course to copy stuff to each relevant point or at least link to it from there. But I am quite a bit time pressured now (and I hope that does not already show too much in what I just typed). So I won't do any further such organization right now. But if anyone feels like looking into this, please don't hesitate.

   I have been adding basic propositons and their (farily) detailed proofs at injective object in the section Existence of enough injectives.

   This expands on statements and proofs mentioned in other entries, notably at injective object, also at coextension of scalars (stuff added by Todd, I think).

   Generally, it is often hard to decide in which entry exactly to put a theorem. Often there are several choices. Best of course to copy stuff to each relevant point or at least link to it from there.

   But I am quite a bit time pressured now (and I hope that does not already show too much in what I just typed). So I won’t do any further such organization right now. But if anyone feels like looking into this, please don’t hesitate.