Showing math.CTShow all
2 papers · 1 filter
math.CT2024
On the Multicategorical Meta-Theorem and the Completeness of Restricted Algebraic Deduction Systems
David Forsman
Eight categorical soundness and completeness theorems are established within the framework of algebraic theories. Exactly six of the eight deduction systems exhibit complete semant…
math.CT2023
Functors of Variance: Heuristic Naturality and Connection to Ends
David Forsman
The concept of a variance on a category is introduced as a two-sided strict factorization system. By employing variances, we define functors of variance in a more general setting t…