search

strangemonad / runway

Domain models and their values
1 stars 0 forks source link

Concepts and representations as retracts #30

Open strangemonad opened 6 years ago

strangemonad commented 6 years ago

Can types vs representations be captured as categorical retracts / sections