1
$\begingroup$

Why is symmetric monoidal double categories? on the MO front page greyed out? picture of MO front page indicating greyed-out post

$\endgroup$
6
  • 3
    $\begingroup$ Did you check whether your ignored tags - whether some of them are used on the question? See also here: Vanishing questions. $\endgroup$
    – Martin Sleziak
    Commented Aug 15, 2020 at 4:27
  • 2
    $\begingroup$ BTW I think that the tag (support) would be suitable here. And maybe also (ignored-tags) - if it is caused by ignored tags. $\endgroup$
    – Martin Sleziak
    Commented Aug 15, 2020 at 4:40
  • 2
    $\begingroup$ @MartinSleziak, I left off support because I thought I was reporting some strange site behaviour, not looking for support; but it turns out I was looking for support, because I'd somehow ignored monoidal-categories, and only that tag, without having any idea I'd done so. (I didn't even know you could ignore tags.) Thanks! If you post that as an answer, then I will accept it. $\endgroup$
    – LSpice
    Commented Aug 15, 2020 at 5:52
  • 1
    $\begingroup$ Actually, that would mean just duplicating my answer from the other question. (I think the best course of action is to close this as duplicate. Still, it might be useful to keep this on site - since depending on the search terms, this post might be easier to find than the other one.) $\endgroup$
    – Martin Sleziak
    Commented Aug 15, 2020 at 6:06
  • $\begingroup$ If I understood your recommendation correctly, it is to close but not delete. It seems that even the author can't unilaterally close, only vote to close, so I have done so. $\endgroup$
    – LSpice
    Commented Aug 15, 2020 at 6:39
  • $\begingroup$ I did not remember how exactly it works. Probably if I voted to close as duplicate before you, as the OP you could have closed the question. See also: New UI encourages askers to confirm or dispute duplicate votes. (It is not really a problem, the question is in the review queue and also at the top of the front page - so other users have several places where to notice that clove votes are needed here.) $\endgroup$
    – Martin Sleziak
    Commented Aug 15, 2020 at 7:26

0

Reset to default

Browse other questions tagged .