Algebraic logic and predicate functors | lit.salon