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 was unsatisfied with the entry Eilenberg-MacLane object. So I changed the wording at the beginning. Maybe it's an improvement, maybe something better needs to be done.
I worked a bit on polishing and expanding Eilenberg-MacLane object.
There are now more precise definitions and some theorems. Notably the definition as n-connected and n-truncated objects is now there.
One obvious propositon that I didn't find in HTT I have added. But check if I am overlooking something.
I can't see a reason not to...
Sure. Shall I?
Added to Eilenberg-MacLane object (and to Eilenberg-MacLane space) a pointer to the recent
1 to 7 of 7