2000 character limit reached
Logical rules as fractions and logics as sketches (1807.01620v1)
Published 4 Jul 2018 in cs.LO and math.CT
Abstract: In this short paper, using category theory, we argue that logical rules can be seen as fractions and logics as limit sketches.