The category-theoretic perspective can function as a simplifying abstraction, isolating propositions that hold for formal reasons from those whose pro

Search code, repositories, users, issues, pull requests...

submited by

Style Pass

2024-12-25 11:30:02

The category-theoretic perspective can function as a simplifying abstraction, isolating propositions that hold for formal reasons from those whose proofs require techniques particular to a given mathematical discipline.

This project aims to formulate dose-escalation trial protocols using ideas from Applied Category Theory (ACT), carrying out the attendant computations on a 'workbench' developed using the monotonic subset of Prolog, including CLP(ℤ). In accordance with the quotation above, this categorial formulation serves to exhibit certain properties of dose-escalation designs as deducible from more basic premises than we may otherwise appreciate. Working in Prolog promotes a clarification of thought and elegance of expression that harmonize perfectly with the intellectual spirit of categorial investigations such as these. (For an extensive discussion of the advantages of Prolog in medical and other such safety-critical applications, and our rationale for selecting Scryer Prolog in particular, please see Section 2 of [1].)

DEDUCTION represents the latest—and possibly conclusive—development within the Dose Titration Algorithm Tuning (DTAT) research programme, which has been ongoing now for the better part of a decade. The full bibliography found here links to 'lay explainers', short videos or online apps accompanying most of the scholarly outputs, reflecting the DTAT programme's long commitment to lay outreach. Although this outreach has been pursued with cancer patient advocates most especially in mind, these resources may prove useful even to experts in adjacent fields, since DTAT draws upon ideas from several disciplines not often brought under one roof.