added some more hyperlinks

By the way:

In rev 3 you added that:

…allows the user to write functions that are not-well defined mathematically.

Could you give an example for what this is referring to?

]]>- recursion schemes as a tool for termination/productivity in languages with general recursion
- recursion schemes via adjunctions
- the mother of all recursion schemes is a conjugate hylo
- comprehensive list of recursion schemes in YangW22

Hinze, Wu and Gibbons showed that every recursion scheme results from an hylomorphism (a (co)recursive (co)algebra) and an adjunction.

My feeling is that this result is not very well-known in mathematics since it has been invented by functional programmers, but it is nonetheless mathematically sound and not exclusive to the functional world.

I suggest adding a new page called "Adjoint Recursion Schemes" . ]]>

changed page name to singular, to comply with house style

]]>We have no dedicated context menu for computer science yet (you could start one!). I would typically use either or both of these two pointers:

```
#### Constructivism, Realizability, Computability
+-- {: .hide}
[[!include constructivism - contents]]
=--
#### Type theory
+-- {: .hide}
[[!include type theory - contents]]
=--
```

]]>
Init page and try to describe why some computer scientists have wacky names like catamorphism for a homomorphism out of an initial algebra.

Not sure what “context” sidebar to put here. Do we have one for just “computer science” or more specifically here “functional programming”?

]]>