Improved handling of limits and colimits

Unfortunately we need more different types of limits and colimits...
Typo in category.tex

Thanks to Jean-Pierre Gourdot