10 pages matching symmetric monoidal functor in this book
Results 1-3 of 10
What people are saying - Write a review
We haven't found any reviews in the usual places.
Mathematics and Plausible Reasoning: Induction and analogy in mathematics
Limited preview - 1990
2-category adjoint admissible axiom BBHdP92 C-contraction C-weakening c(II cartesian closed category categorical interpretation categorical models CC-cut CC-subs coalgebra morphism coherence conditions commuting conversions comonad contexts coproducts cut elimination cut formula cut rules cut-free cut-free proof definition diagrams commute elimination rules equivalent extra conditions F-elim F-left F(GA finite products free coalgebras G-right given internal hom intuitionistic linear logic intuitionistic logic Kleisli category last rule left rule Lemma let a g let F(x linear and non-linear linear category linear sequents linear term calculus LNL logic LNL model LNL term calculus LNL+ proof LNLa monoidal adjunction monoidal closed category monoidal natural transformations monoidal structure mx,Y natural deduction formulation natural deduction system non-linear formulae normalisation proof theory provability right rules satisfy semantics sequent calculus sequent calculus presentation SMCC strong monad symmetric monoidal category symmetric monoidal closed symmetric monoidal functor Theorem transformation with components translation triangle weakening