categories ''themselves'' viewed type theories certain kind fact alone indicates type theory much closely related category theory set theory brief category viewed type theory regarding objects types sorts ie roughly speaking category may thought type theory shorn syntax number significant results follow way ref name sets extensions twentieth century ref cartesian closed categories correspond typed calculus lambek c monoids categories products
Formal science Computer science Logic in computer science Type theory