Skip to content

vegeta03/CategoryTheoryInterfaceBasedDesign

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

1 Commit
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Category Theory, The Essence of Interface Design

From the talk given by Erik Meijer

Abstract Nonsense

(Very) roughly speaking, category theory is the study of the general form of mathematical theories, without regard to their content. As a result, a proof that relies on category theoretic ideas often seems slightly out of context to those who are not used to such abstraction, sometimes to the extent that it resembles a comical non sequitur. Such proofs are sometimes dubbed "abstract nonsense" as a light-hearted way of alerting people to their abstract nature.

About

Category Theory, The essence of interface-based design

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages