scientific article; zbMATH DE number 7437706

zbMath1476.68157arXiv1508.06779MaRDI QIDQ5014439

Henning Basold

Publication date: 2 December 2021

Full work available at URL: https://arxiv.org/abs/1508.06779

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Special properties of functors (faithful, full, etc.) (18A22) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Type theory (03B38)

Related Items (2)

Unnamed Item ⋮ Coinduction in Flow: The Later Modality in Fibrations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Non-well-founded trees in categories
• Structural induction and coinduction in a fibrational setting
• Categorical logic and type theory
• Wellfounded trees in categories
• Containers: Constructing strictly positive types
• Higher-order Algebras and Coalgebras from Parameterized Endofunctors
• A Categorical Semantics for Inductive-Inductive Definitions
• Locally cartesian closed categories and type theory
• Polynomial functors and polynomial monads
• The gentle art of levitation
• A Categorical Treatment of Ornaments
• Types for Proofs and Programs
• Indexed Induction and Coinduction, Fibrationally

This page was built for publication: