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.
created anti-reduced object, for completeness
I suppose there are also anti-coreduced objects? (-:
Fortunately or unfortunately, yes. Luckily, this is your terminology that I am following here :-P (putting together “co-reduced”, which I think was your coinage, with “anti-modal”, which I also got from you).
Recently I’ve been using “$\bigcirc$-connected” instead of “anti-$\bigcirc$-modal”, since when $\bigcirc$ is the $n$-truncation modality these are the $n$-connected types. So according to that terminology, the “anti-reduced” objects would be “$\Re$-connected”. I’m not sure which is better.
1 to 4 of 4