MathDB1 problem
- 0 votes0 replies0 views
The bidirectional information-flow modelling conjecture with feedback
The discussion concerns reverse derivatives represented as lenses and optics in traced symmetric monoidal categories, with feedback supplied by the trace. Bidirectional information…