computably

comparative more computably · superlative most computably

1. In a computable manner

   1 more example

   If #92;mathbf#123;A#125; is the category of sets, then #92;Pi#95;Bf is (up to isomorphism) the usual Cartesian product of the fibres A#95;y. If #92;mathbf#123;A#125; is a category of spaces and smooth maps, then an element of #92;Pi#95;Bf will have values varying smoothly in the indices, while if #92;mathbf#123;A#125; models data types and computable functions the values will vary computably.

   1995, Colin McLarty, Elementary Categories, Elementary Toposes, page 102

2. With regard to computability