@t.b. I am no sure whether lebesgue-integral would be a subset of integration or measure-theory.

In fact, the distinction between integral and integration is not entirely clear; here is a link to some older discussion about this.

I don't see any problem in removing the tags about Fubini's theorem and Tonelli's theorem. (And leaving a comment for the tag creator.)

lebesgue-integral has already 7 questions, so if we want get rid of the tag, we should retag them before there is many of them.

Another possibility would be making a synonym.

This would probably be worth opening a thread on meta. But I guess that until some consensus is reached on meta, the number of questions will grow.

BTW I am abroad until the end of this month, so I might frequent MSE a little less than usually. (Depends on how much work I'm going to have here.)

I've added a few old question to baire-category. I've expected t.b. or Brian to be in the lead, we'll see how long will it take to correct this anomaly.

@MartinSleziak well, apparently lebesgue-integral is a tag people naturally look for so that's a plus. Maybe it's not that bad, as it divides the measure theory tag into basic measure theory and more advanced stuff. Also, integration seems to be more about tricky integrals (I remember the discussion and never understood the precise distinction between integral and integration).

I removed the Fubini and Tonelli tags.

@MartinSleziak at least I'm the top asker :)

I don't think I answered that many Baire questions, Brian has certainly more.

@MartinSleziak Have a good time and see you in a month!

(or only occasionally during this month)

@t.b. I've noticed that and I've added a comment linking to faq.

I just saw your comment when I was about to add something along similar lines.

@t.b. There was a suggestion to create (integral-computation), see meta.

Oh, I missed that one. It's a bit long to read right now. Thanks for the link!

@t.b. Teamwork :-) In case I missed something in my comment, I'm sure you'll add more...

No, it's perfectly fine.

Oh, hi, J.M.

Hi, t.b.!

Okay, I should go again. See you soon and have a nice trip, @Martin !

Bye @J.M.

@MartinSleziak It truly is somewhat confusing...

@t.b. See ya.

Bye, t.b!

I think that the suggestion about creating (limit-computation), (integral-computation) and (derivatives-computation) is reasonable, but it would require some work with retagging.

That question in meta is 7 months old, so it's probably forgotten.

@MartinSleziak "some" is an understatement... :D

The suggestion in meta was to rename the tags to the new ones.

I think that there are much less questions tagged limit that are about definition, generalizations, topology and stuff; most of them would be ok in limit-computation.

I think it would be less work than we had with algebra.

I guess...

And we could decide to keep the old questions as they are, unless they're bumped for different reasons.

BTW you certainly noticed that t.b. raised the question of lebesgue-integral. What's your opinion? Is it a keeper?

@MartinSleziak I think we could use that tag...

ok, I'm going to leave; there's some work I should do

See you later!

@MartinSleziak See you!

What is the contradiction tag for?

Anyway, you tag-interested folks should take a look at it, and maybe consider getting rid of it.