^ | ConCat.Nat |
^+^ | |
1 (Function) | ConCat.Additive, ConCat.AdditiveFun |
2 (Function) | ConCat.Free.VectorSpace |
3 (Function) | ConCat.GradientDescent |
^-^ | |
1 (Function) | ConCat.Free.VectorSpace |
2 (Function) | ConCat.GradientDescent |
3 (Function) | ConCat.Deep |
^/ | ConCat.Deep |
^^^ | ConCat.Isomorphism |