Applications of Category Theory to Computer Scienc, Categorical Structures for Descent and Galois Theo, Category Theory OctoberFest, CatMAT 2000, CT2000, CT95, CT99, CTCS'02, CTCS'97, CTCS'99