I'm surprised and excited to see this here. Goguen's work on category theory in program design is very insightful and he generally is willing to speak at large

I'm surprised and excited to see this here. Goguen's work on category theory in program design is very insightful and he generally is willing to speak at large terms as to "why CT is valueable" avoiding too much technicality when useful to do so.