Multiplicative Linear Logics and Fibrations
François Lamarche · Electronic Notes in Theoretical Computer Science · 2003
We define a notion of fibration on generalized operads (that we call structads) that automatically gives the categorical axiomatization of a large and specific class of multiplicative deductive linear systems, which can be axiomatized in a sequent calculus we described in a previous paper [25]. We illustrate it by showing examples taken from previously described logics. Also we show interesting properties of the category of structads, including the fact that it contains many well-known categories as subcategories or slice categories, including the category of categories.