DaoFP Chapter 18 Exercises

exercise

Exercises from DaoFP, Chapter 18. Solutions: DaoFP Chapter 18 Solutions. Index: Map of Content.

Exercise 18.1.1

Apply the proof of Tannakian Reconstruction to a single-object category $\mathcal{M}$ (a monoid).

Sources: DaoFP Exercise 18.1.1.

Solution: Solution 18.1.1

Exercise 18.2.1

Implement fromIsoP :: IsoP s t a b -> (s -> a, b -> t) (Profunctor Optics).

Sources: DaoFP Exercise 18.2.1.

Solution: Solution 18.2.1

Exercise 18.4.1

What are the mixed optics for the action of the cartesian product when one of the categories is terminal? When the first category is ${\mathcal{C}}^{\mathrm{op}}\times \mathcal{C}$ and the second terminal? (Profunctor Optics, Tambara Module)

Sources: DaoFP Exercise 18.4.1.

Solution: Solution 18.4.1