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 would like to write an article at size issues about the various ways of dealing with them, and I've started linking to that page in anticipation.
I still haven't written it, but I decided that there were enough links that I ought to put something. So now there are some links to other articles in the Lab on the subject.
Reminder of a more rare approach to some size issues (which I like): small presheaf
@ Zoran
I added that and a couple of others, and organised the list a bit.
1 to 4 of 4