The linear-non-linear substitution 2-monad (Q5019678): Difference between revisions

@@ Property / arXiv ID @@
+.09559
@@ Property / arXiv ID: 2005.09559 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Reports of the Midwest Category Seminar
@@ Property / cites work: Reports of the Midwest Category Seminar / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Flexible limits for 2-categories
@@ Property / cites work: Flexible limits for 2-categories / rank @@
+Normal rank
@@ Property / cites work @@
+Two-dimensional monad theory
@@ Property / cites work: Two-dimensional monad theory / rank @@
+Normal rank
@@ Property / cites work @@
+Differential categories
@@ Property / cites work: Differential categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4304740
@@ Property / cites work: Q4304740 / rank @@
+Normal rank
@@ Property / cites work @@
+Operads, Clones, and Distributive Laws
@@ Property / cites work: Operads, Clones, and Distributive Laws / rank @@
+Normal rank
@@ Property / cites work @@
+New Approach to Arakelov Geometry
@@ Property / cites work: New Approach to Arakelov Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+The differential lambda-calculus
@@ Property / cites work: The differential lambda-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+The cartesian closed bicategory of generalised species of structures
+Normal rank
@@ Property / cites work @@
+Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
+Normal rank
@@ Property / cites work @@
+Idempotent semirings with a commutative additive reduct
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudo-distributive laws and axiomatics for variable binding
+Normal rank
@@ Property / cites work @@
+Elements of a theory of algebraic theories
@@ Property / cites work: Elements of a theory of algebraic theories / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a notion of lambda monoid
@@ Property / cites work: Towards a notion of lambda monoid / rank @@
+Normal rank
@@ Property / cites work @@
+Classical lambda calculus in modern dress
@@ Property / cites work: Classical lambda calculus in modern dress / rank @@
+Normal rank
@@ Property / cites work @@
+A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
+Normal rank
@@ Property / cites work @@
+Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
+Normal rank
@@ Property / cites work @@
+A 2-Categories Companion
@@ Property / cites work: A 2-Categories Companion / rank @@
+Normal rank
@@ Property / cites work @@
+Locally cartesian closed categories and type theory
+Normal rank
@@ Property / cites work @@
+Modular correspondence between dependent type theories and categories including pretopoi and topoi
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138869
@@ Property / cites work: Q3138869 / rank @@
+Normal rank