Jon Awbrey<p>Survey of Precursors Of Category Theory<br />• <a href="https://inquiryintoinquiry.com/2023/04/03/survey-of-precursors-of-category-theory-3/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2023/04</span><span class="invisible">/03/survey-of-precursors-of-category-theory-3/</span></a></p><p>A few years ago I began a sketch on the “Precursors of Category Theory”, tracing the continuities of the category concept from Aristotle, to Kant and Peirce, through Hilbert and Ackermann, to contemporary mathematical practice. A Survey of resources on the topic is given below, still very rough and incomplete, but perhaps a few will find it of use.</p><p><a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="tag">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/CombinatoryLogic" class="mention hashtag" rel="tag">#<span>CombinatoryLogic</span></a> <a href="https://mathstodon.xyz/tags/LambdaCalculus" class="mention hashtag" rel="tag">#<span>LambdaCalculus</span></a> <a href="https://mathstodon.xyz/tags/RelationTheory" class="mention hashtag" rel="tag">#<span>RelationTheory</span></a><br /><a href="https://mathstodon.xyz/tags/Aristotle" class="mention hashtag" rel="tag">#<span>Aristotle</span></a> <a href="https://mathstodon.xyz/tags/Kant" class="mention hashtag" rel="tag">#<span>Kant</span></a> <a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Sch%C3%B6nfinkel" class="mention hashtag" rel="tag">#<span>Schönfinkel</span></a> <a href="https://mathstodon.xyz/tags/Hilbert" class="mention hashtag" rel="tag">#<span>Hilbert</span></a> <a href="https://mathstodon.xyz/tags/Ackermann" class="mention hashtag" rel="tag">#<span>Ackermann</span></a> <a href="https://mathstodon.xyz/tags/Carnap" class="mention hashtag" rel="tag">#<span>Carnap</span></a><br /><a href="https://mathstodon.xyz/tags/HaskellCurry" class="mention hashtag" rel="tag">#<span>HaskellCurry</span></a> <a href="https://mathstodon.xyz/tags/WilliamHoward" class="mention hashtag" rel="tag">#<span>WilliamHoward</span></a> <a href="https://mathstodon.xyz/tags/JoachimLambek" class="mention hashtag" rel="tag">#<span>JoachimLambek</span></a> <a href="https://mathstodon.xyz/tags/SaundersMacLane" class="mention hashtag" rel="tag">#<span>SaundersMacLane</span></a><br /><a href="https://mathstodon.xyz/tags/PropositionsAsTypesAnalogy" class="mention hashtag" rel="tag">#<span>PropositionsAsTypesAnalogy</span></a> <a href="https://mathstodon.xyz/tags/CurryHowardIsomorphism" class="mention hashtag" rel="tag">#<span>CurryHowardIsomorphism</span></a> <a href="https://mathstodon.xyz/tags/Ulam" class="mention hashtag" rel="tag">#<span>Ulam</span></a></p>