Category Algorithms & Logics