Conversation started Jan 31, 2012 at 22:41.
Srivatsan
Srivatsan
Jan 31, 2012 22:41
@Dylan: can you please take a look at this and this? And hi!
Dylan Moreland
Dylan Moreland
I guess you should also check at the boundary. The behavior there might change. But that's two points.
@Srivatsan I was going to suggest category-theory but Asaf explicitly disallows that.
Hi guys, also.
Srivatsan
Srivatsan
any algebra related tags?
Dylan Moreland
Dylan Moreland
Certainly one first sees this construction in commutative algebra. So that and abstract-algebra aren't out of place.
Srivatsan
Srivatsan
How about universal-algebra? I don't know anything about it either, but Arturo's answer is based on this.
Dylan Moreland
Dylan Moreland
That, I know nothing about.
Brian M. Scott
Brian M. Scott
Jan 31, 2012 22:46
@DylanMoreland Actually, I first saw it in general topology!
Dylan Moreland
Dylan Moreland
It seems like Arturo mentions this.
@BrianMScott Ah! That's interesting.
@Srivatsan I mean, now that he's gotten some good answers I don't see the harm in putting category-theory on it. It seems like the most natural thing.
Srivatsan
Srivatsan
yeah, makes sense.
Dylan Moreland
Dylan Moreland
Sorry I'm not much help.
If I were asking, I would probably place category-theory and commutative-algebra on it. But that's just an opinion.
Srivatsan
Srivatsan
Actually, you were. I will just ask a few others and retag later.
@Brian: any suggestions?
Brian M. Scott
Brian M. Scott
Nothing that hasn’t been mentioned.
Asaf Karagila
Asaf Karagila
Jan 31, 2012 22:50
Hmpf. I'm still not completely drunk.
Srivatsan
Srivatsan
@BrianMScott Ok. And how about the three tags mentioned? universal-algebra, category-theory and commutative-algebra.
Brian M. Scott
Brian M. Scott
@Srivatsan They seem okay. The problem is that it’s a very general construction that comes up all over.
Asaf Karagila
Asaf Karagila
I am mildly unsober.
Srivatsan
Srivatsan
Ah. That is an argument against commutative-algebra, I suppose.
Thanks, Dylan and Brian.
Dylan Moreland
Dylan Moreland
Thanks for being vigilant on tags.
 
Conversation ended Jan 31, 2012 at 22:53.