Sun Jul 15 19:47:37 EDT 2018

yoneda, profunctors, lenses

There is nothing more to the ‘semantics’ of an entity than syntactic
references to other entities.


Also why it is so hard to learn a new mathematical concept, without
seeing how it is used!

There is a lot in this paper.  Maybe a good one to explore a bit deeper?