757 followers Noam Zeilberger @noamzoam @_julesh_ Lambek gave a version of this in "Deductive systems and categories 2" https://t.co/GtOx3JzsPQ 07 Jun 2019 Reply Repost Favourite