Douglas Joseph Huntington Moore

From Mathematical Logic to Logical Mathematics: Adjunction, Ramification, and First-Class Completion

**Author preprint; not peer reviewed.** This philosophical essay compares categorical adjunction with the concrete adjunction of the First Calculus (TFC). Category Theory distributes adjunctional structure across functors, natural transformations and higher cells; TFC retains fou...