A Constructive Approach to Freyd Categories

Posur, Sebastian (Corresponding author)

Dordrecht [u.a.] : Springer Science + Business Media B.V (2020, 2021)
Journal Article

In: Applied categorical structures
Volume: 29
Issue: 1
Page(s)/Article-Nr.: 171–211