Recursively computable categories?

What work has been done on categories with a recursively enumerable
sets of objects/arrows with
recursively computable composition? Likewise, for primitive recursive
categories, etc?

Rex Butler

Thread Tools
Show Printable Version Email this Page
Display Modes
Linear Mode test 33Switch to Hybrid Mode Switch to Threaded Mode

1 24th August 16:50 rexbutler External User Posts: 1	Recursively computable categories? What work has been done on categories with a recursively enumerable sets of objects/arrows with recursively computable composition? Likewise, for primitive recursive categories, etc? Rex Butler