Induction, Coinduction, and Adjoints

DOI10.1016/S1571-0661(04)80561-9zbMath1270.68190OpenAlexW2164027106MaRDI QIDQ2842818

Luigi Santocanale, J. Robin B. Cockett

Publication date: 16 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80561-9

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Strong categorical datatypes II: A term logic for categorical programming
• Monoidal categories with natural numbers object
• Fundamental properties of infinite trees
• Bicategories of spans and relations
• Adjoint machines, state-behavior machines, and duality
• Structural induction and coinduction in a fibrational setting
• Braided tensor categories
• A completeness theorem for Kleene algebras and the algebra of regular events
• Cartesian categories with natural numbers object
• Coequalizers and free triples
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Coalgebras and cartesian categories
• Introduction to linear bicategories
• Parametrized data types do not need highly constrained parameters
• Elements of Stream Calculus
• Categorical fixed point calculus
• Free \(\mu\)-lattices

This page was built for publication: Induction, Coinduction, and Adjoints