Category Theory
---------------

<!--
SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.

SPDX-License-Identifier: CC0-1.0
-->

[(Up)](../../README.md#topics) | _See also: [Mathematics](../Mathematics/README.md#mathematics)_

- - - -


### Web resources

[Category Theory \| Logic Matters](http://www.logicmatters.net/categories/) ★

[computational trinitarianism in nLab](https://ncatlab.org/nlab/show/computational+trinitarianism) ★

[Is every category a localization of a poset?](https://mathoverflow.net/questions/403118/is-every-category-a-localization-of-a-poset) ★ [💭](commentary/cpressey.md#is-every-category-a-localization-of-a-poset)

_(in [Programming Languages](../Programming%20Languages/README.md#programming-languages))_ [CHARITY - Home Page](https://pll.cpsc.ucalgary.ca/charity1/www/home.html) ★

_(in [Type Theory](../Type%20Theory/README.md#type-theory))_ [Recursive Types for Free! (Philip Wadler)](https://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt) ★


### Papers

Physics, Topology, Logic and Computation: A Rosetta Stone (online @ [arxiv.org](https://archive.org/details/arxiv-0903.0340))


### Books

Categories, types, and structures (online @ [www.di.ens.fr](https://www.di.ens.fr/users/longo/files/CategTypesStructures/book.pdf)) (borrow @ [archive.org](https://archive.org/details/categoriestypess0000aspe))

Category Theory for Programmers (online @ [bartoszmilewski.com](https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/)) ★