Title: Functor-category semantics of programming languages and logics