Dinatural numbers

DOI10.1016/S0022-4049(97)00036-4zbMath0927.18001OpenAlexW4213124463MaRDI QIDQ1295522

Robert Paré, Leopoldo Román

Publication date: 24 June 1999

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-4049(97)00036-4

zbMATH Keywords

dinatural transformationscategory of finite setsdinatural numbers

Mathematics Subject Classification ID

Natural morphisms, dinatural morphisms (18A23) Enriched categories (over closed or monoidal categories) (18D20) Categories of sets, characterizations (18B05)

Related Items (2)

Chu spaces as a semantic bridge between linear logic and mathematics. ⋮ Composing dinatural transformations: towards a calculus of substitution

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Functorial polymorphism
• Monoidal categories with natural numbers object
• Orbits and monoids in a topos
• Accessible Categories: The Foundations of Categorical Model Theory
• Tarski's High School Identities
• On closed categories of functors
• Dinatural transformations

This page was built for publication: Dinatural numbers