Iš Gvildenu svetainės

Book: CategoryTheoryOfComputability

Category theory of computability

Consider a category of cells (were morphisms are the paths between them).

Consider a category of cell values {0,1}.

Consider maps from a cell to its possible entries (O,1).

Parsiųstas iš http://www.ms.lt/sodas/Book/CategoryTheoryOfComputability
Puslapis paskutinį kartą pakeistas 2019 balandžio 18 d., 11:10