Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I wrote about the axiom of small violations of choice (SVC).
I also created multilimit and weak multilimit mostly as stubs, and added some comments to injective object. I also split off homotopically injective object from injective object, since I felt that two different (but related) concepts were being squished together unnaturally.
I edited the references to give links and full bibliographic detail. In particular the paper that is listed now as being just by Rathjen had another author in the previous version. I’m not sure what happened, but the published version that I could find only has one author.
1 to 2 of 2