Freyd category

Last updated Nov 4, 2022

References

• Call-By-Push-Value, A Functional-Imperative Synthesis (Levy, 2004)
• Freyd Categories Are Enriched Lawvere Theories (Staton, 2013)