2000 character limit reached
Logical rules as fractions and logics as sketches
Published 4 Jul 2018 in cs.LO and math.CT | (1807.01620v1)
Abstract: In this short paper, using category theory, we argue that logical rules can be seen as fractions and logics as limit sketches.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.