Shemos

Category theorist with special interest in abstractions