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.
1 to 1 of 1
Below the statement that the right class is stable under $\infty$-limits in the arrow category, I added the statement (here) that it is in fact reflective in the arrow category.
[edit: ah, sorry, only now do I see that this was already stated in the page, but in another subsection – will merge… ]
1 to 1 of 1