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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129510000575
+Normal rank
@@ Property / OpenAlex ID @@
+W1986531708
@@ Property / OpenAlex ID: W1986531708 / rank @@
+Normal rank