Fabian Zickgraf

> Sorry, that this took such a long time. I'll take care of it now. No worries! > > > `TensorProductOnObjects` is compilable but the compiled verison makes the example...

> If it does make a difference, then I guess one could either switch the arguments of the calls to `TensorProductOnObjects` or somehow change [this](https://github.com/homalg-project/CAP_project/blob/f6542df30aa5ad3bec2dc8fbca2ca875874eb2eb/ModulePresentationsForCAP/gap/ModulePresentationObject.gi#L230) Kronecker product? Have you checked...

Some points: 1. > * The most part of `(Co)EvaluationMorphism` is now fairly readable. This was the last missing piece for the compilation of the closed structure. But it is...

> So maybe I was frightened for nothing and there might be nothing wrong with the logic templates. Your fears are very sensible: Logic templates should not change results, otherwise...

For future reference: I thought the compiled code of `IsEqualForObjects` would change after https://github.com/homalg-project/CAP_project/pull/1259 but it doesn't. Background: `IsEqualForObjects` in Freyd uses `IsEqualForMorphismsOnMor` in the underlying category of rows, which...

As just discussed: 1. Please finish the work on translating INTERNAL_HOM_EMBEDDING from the Freyd to the ModulePresentations version (in particular: more type signatures have to be added, the logic templates...

Haskell has two solutions for this problem: 1. The "pure" versions of random functions all explicitly get and return a state, which is then used as input for the next...

I just noticed that things are even worse: not deduping will in general give wrong results, e.g. in the following situation: ``` CategoryOfRowsMorphism( CategoryOfRowsObject( cat, Random( ... ) ), RandomMatrix(...

I have excluded random methods from the compilation in aab7cbd3efa8c885e0a11d47ed2028378f3cc45a. I will keep this issue open for future reference.

The reason why I did not add this to `compiler_hints` is that currently the information only makes sense for a given tower. E.g. the total number of morphisms needed to...