Not the person you’re asking, but the “aha” moment for me was connecting whiteboard diagrams with type theory. Whiteboard diagrams work because they’re a categ

Not the person you’re asking, but the “aha” moment for me was connecting whiteboard diagrams with type theory. Whiteboard diagrams work because they’re a categorical diagram related to the semantics of the program I’m trying to write. In the sense that CT and TT are “equivalent”, your whiteboard diagrams are your program.