DM me hot takes on this
Quote Tweet
Computational trinity: ncatlab.org/nlab/show/comp is a tripartite correspondence between Logic, Type Theory, and Category Theory. Here's a mnemonic visualization that illustrates it as a computational object projecting shadows in 3 orthogonal dimensions.
Show this thread
8
2
34
