Induction, Coinduction, and Adjoints (Q2842818): Difference between revisions

@@ Property / author @@
+J. Robin B. Cockett
@@ Property / author: J. Robin B. Cockett / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Q4260449
@@ Property / cites work: Q4260449 / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of Stream Calculus
@@ Property / cites work: Elements of Stream Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Strong categorical datatypes II: A term logic for categorical programming
+Normal rank
@@ Property / cites work @@
+Q3715301
@@ Property / cites work: Q3715301 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametrized data types do not need highly constrained parameters
+Normal rank
@@ Property / cites work @@
+Fundamental properties of infinite trees
@@ Property / cites work: Fundamental properties of infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Adjoint machines, state-behavior machines, and duality
+Normal rank
@@ Property / cites work @@
+Cartesian categories with natural numbers object
@@ Property / cites work: Cartesian categories with natural numbers object / rank @@
+Normal rank
@@ Property / cites work @@
+Free \(\mu\)-lattices
@@ Property / cites work: Free \(\mu\)-lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal categories with natural numbers object
@@ Property / cites work: Monoidal categories with natural numbers object / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Q4044767
@@ Property / cites work: Q4044767 / rank @@
+Normal rank
@@ Property / cites work @@
+Coequalizers and free triples
@@ Property / cites work: Coequalizers and free triples / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143492
@@ Property / cites work: Q4143492 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4065693
@@ Property / cites work: Q4065693 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to linear bicategories
@@ Property / cites work: Introduction to linear bicategories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100671
@@ Property / cites work: Q4100671 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical fixed point calculus
@@ Property / cites work: Categorical fixed point calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Structural induction and coinduction in a fibrational setting
+Normal rank
@@ Property / cites work @@
+Q3358736
@@ Property / cites work: Q3358736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+Bicategories of spans and relations
@@ Property / cites work: Bicategories of spans and relations / rank @@
+Normal rank
@@ Property / cites work @@
+Braided tensor categories
@@ Property / cites work: Braided tensor categories / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebras and cartesian categories
@@ Property / cites work: Coalgebras and cartesian categories / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1571-0661(04)80561-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2164027106
@@ Property / OpenAlex ID: W2164027106 / rank @@
+Normal rank