computably
Jump to navigation
Jump to search
English
[edit]Etymology
[edit]From computable + -ly.
Adverb
[edit]computably (comparative more computably, superlative most computably)
- In a computable manner
- 1995, Colin McLarty, Elementary Categories, Elementary Toposes, page 102:
- If is the category of sets, then is (up to isomorphism) the usual Cartesian product of the fibres . If is a category of spaces and smooth maps, then an element of will have values varying smoothly in the indices, while if models data types and computable functions the values will vary computably.
- With regard to computability