Fabian Zickgraf

The hard part is finding a good name for the switch. What about `IsPropagatedDerivation`?

This is intended to make sure the compiled category behaves exactly the same as the original category when using it with `Opposite` or `WrapperCategory` and `only_primitive_operations`. Search for `IsPrecompiledDerivation` if...

@mohamed-barakat Can this issue be closed?

The only difference I can spot is how source/range of the return value is written. Is this what you mean?

My naive idea was: The wrapper category should use this non-trivial equivalence to translate between the data structures of `AdelmanCategory( ... )` and `Op( Freyd( Op( Freyd( ... ) )...

> But maybe the `Wrapper` categories somehow merge 1) and 2) into a single category, and you are going to simply compile that category? Exactly, `WrapperCategory` gets the code from...

> > Do you have a reference (or maybe even an implementation) of the non-trivial equivalence? If not, I would try to construct it from the universal property of the...

Note: When compiling code, the side effect of setting `IsProp` cannot be used anyway. So if there is a situation where setting `IsProp` is important beyond simple caching and which...

Addendum: The name should also canonically extend to the object and morphism filters, e.g. `TemplateCategoryObjectFilter`.

I have thought more about what we actually require when using those filters, e.g. `IsCategoryOfRows`. From grepping through the code, we certainly require a corresponding mathematical concept (including e.g. the...