Equational presentations of functors and monads (Q3005991): Difference between revisions

@@ Property / cites work @@
+On universal algebra over nominal sets
@@ Property / cites work: On universal algebra over nominal sets / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal Equational Logic
@@ Property / cites work: Nominal Equational Logic / rank @@
+Normal rank
@@ Property / cites work @@
+About permutation algebras, (pre)sheaves and named sets
+Normal rank
@@ Property / cites work @@
+Lokal präsentierbare Kategorien. (Locally presentable categories)
+Normal rank
@@ Property / cites work @@
+Nominal Algebra and the HSP Theorem
@@ Property / cites work: Nominal Algebra and the HSP Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4348453
@@ Property / cites work: Q4348453 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing operational models of name-passing process calculi
+Normal rank
@@ Property / cites work @@
+Presentation of Set Functors: A Coalgebraic Perspective
+Normal rank
@@ Property / cites work @@
+Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
+Normal rank