The topos institute is practicing applied category theory. brendan fong and david spivak were both pushing on applied category theory at MIT before starting this institute in California.
The topos institute is practicing applied category theory. brendan fong and david spivak were both pushing on applied category theory at MIT before starting this institute in California.