{"pk":27318,"title":"A categorical (fixed point) foundation for cognition: (adjoint) corecursion","subtitle":null,"abstract":"Computationalism has been the pre-eminent framework for models of mind, since the cognitive revolution. However,the plethora of apparently incommensurate approaches seems to undermine hope for a common computational foundation.Category theory provides a mathematically rigorous foundation for computation that includes recursion and corecursion. Weshow that corecursion unifies various cognitive behaviours for comparison and contrast in a principled and novel way. Forinstance, Chomsky’s merge function is a universal morphism, which has a dual, called comerge. One implication of this workis that corecursion appears to be the rule rather than the (human) exception in contrast to Chomsky’s view of recursion.","language":"eng","license":{"name":"","short_name":"","text":null,"url":""},"keywords":[],"section":"Posters: Papers","is_remote":true,"remote_url":"https://escholarship.org/uc/item/2hm303dm","frozenauthors":[{"first_name":"Steven","middle_name":"","last_name":"Phillips","name_suffix":"","institution":"National Institute of Advanced Industrial Science and Technology","department":""}],"date_submitted":null,"date_accepted":null,"date_published":"2017-01-01T18:00:00Z","render_galley":null,"galleys":[{"label":"PDF","type":"pdf","path":"https://journalpub.escholarship.org/cognitivesciencesociety/article/27318/galley/16954/download/"}]}