"Functors are Type Refinement Systems."

Paul-André Melliès, Noam Zeilberger (2015)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics