Text this: Lógica de categorías intermedias, teoremas de representación y aplicaciones a categorías abelianas