Data morphisms in Catecon contain information that can be used in a composite. For example, f(2) = 6. The domain for a data morphism is generally ℕ, but the codomain may have a complex form such as (𝔽×𝔽)×(ℤ×ℤ)×(ℕ×ℕ). The old data morphisms in Catecon were simply a mapping from an index to a value which…

You must be logged in to post a comment.