7:31 AM
I have recently added dg-algebras $\to$ differential-graded-algebras, dg-categories $\to$ differential-graded-categories to the suggested expansions:
5
As of August 8, 2017, the length limit for tags went from 25 characters to 35 characters. So now is a great time to allow inconveniently compressed tag names to stretch out a bit... Perhaps we could collect here list of tags which now, after the character limit for length of tag name has bee...
Still, there should probably be a synonym between dg-algebras and differential-graded-algebras (in one direction or another). And since it is rather similar to other tags mentioned in that post, it's probably not worth making a separate answer with this synonym.
At the moment, the only post with differential-graded-algebras is this one: Is there a notion of injective, projective, flat, dimension for a differential graded algebra?
3
Given a differential graded algebra $(A_\bullet,d)$, is there a well-defined notion of a K-injective, K-projective, K-flat dimension of a differential graded module, or even of the category of differential graded modules? Moreover, if there is a well-defined notion, when are each of them finite?...
8:16 AM
@MartinSleziak I think the consensus that the non-ring stuff (2) is removed is a necessary first step, and that breaking the "rule" of top-level tags is less a problem than the current problem. A second step is a serious thinking on the use of tags related to (2). It requires discussion, but especially a serious work of detecting what is the state of art (what are the relevant tags, what are obvious merge - the most obvious example at this level would be semigroups/monoids); I'll be happy to spend hours on this at some point. — YCor 49 secs ago
2 hours later…
10:37 AM
YCor brought up several tag-related issues on meta recently. He also edited the tag-excerpt for ra.ring-and-algebras and created the tag-excerpt for noncommutative-algebra.
« first day (1642 days earlier) ← previous day next day → last day (2250 days later) »
Transcript for
Feb18
Feb '1819
Feb20
MO editors' lounge
Talk related to editing, tagging and related matters for the s...