@EricPeterson It's not that easy to get hard data - we cannot be sure how many questions were originally tagged incorrectly and stayed tagged incorrectly for a long time before somebody corrected it.
Maybe this might give a bit clearer picture - if somebody corrects the tag and writes also the edit summary, it is very probably that the edit summary will include the word divisors. List of all edits where edit summary contains given keyword
@EricPeterson I will admit that there are not that many of them - however I tried to collect examples of posts that were originally tagged divisors and then corrected to divisors-multiples in another chatroom.
Suppose I have a cofinal map of ∞-categories I→J and let me consider I and J as marked simplicial sets by marking the equivalences of J and all arrows of I that are sent to equivalences. I believe that this should be a marked equivalence. Does anyone have a reference or an easy proof of this?
Wouldn't that mean that J is necessarily a localization of I? I don't think that's true for an arbitrary cofinal map. For example if J has a terminal object, isn't the inclusion of the terminal object cofinal? (The converse is certainly true though - a localization is always cofinal and coinitial)