Category theory and its connections with algebra, topology, logic and computer science. Researchers and students are welcome.