Objects in the category of feedback
Hey all! So I hope you enjoyed (and got something out of) the last two lectures -- on category theory & (most of) the categorical semantics of the lambda calculus. Y'all were kinda guinea pigs: this is unlike how category theory has been taught in HfT previously (and the first time categorical semantics of lambda calculus has been taught in HfT), but I wanted to try it out. So do me a huge favor and let me know what you thought! Feedback is anonymous, so please be candid as possible.
Had you ever seen or studied any category theory before? *
How well do you you feel you understand each of these topics/concepts, after the lectures? *
N/A
Totally do not understand
Somewhat understand
Understand
What a category is
Isomorphisms
Diagrams and Universal Properties
Terminal Objects
Products
Lambda calculus types and terms-in-context
Interpreting lambda calculus in a category
[If needed] Any comments/notes about your answer to the previous question
Your answer
Is there anything from either lecture which you felt like we went over too fast or which didn't get explained well enough (i.e. if I gave this lecture again in the future, what should I spend MORE time on)?
Your answer
Is there anything from either lecture which you felt like was unnecessary or which too much time was spent on (i.e. if I gave this lecture again in the future, what should I spend LESS time on)?
Your answer
Were the lecture slides (first lecture) or writing on the board (second lecture) more helpful/understandable?
How interested are you in possibly learning more category theory in the future, based on what you've seen? *
Very disinterested
Very interested
[Optional] What made you answer the previous question in the way you did?
Your answer
Any other comments or suggestions about how to improve how we teach category theory in Hype for Types?
Your answer
Submit
Never submit passwords through Google Forms.
This form was created inside of Carnegie Mellon University. Report Abuse