@tyrell_turing@fediscience.org @NicoleCRust@neuromatch.social (2/N) Counterexample: a cofunction that receives some other cofunction in its codata and replaces itself with that. There is no corresponding function. Given that brains learn behavior from the outside world, I am inclined to think that functions are insufficient. It's possible that cofunctions over codata are a useful way to model brain activity, but computable functions aren't the right tool.