The notion of strong Barr dinatural transformation is introduced and their compositions are considered. Dinatural numbers are defined by dinatural transformations, which are closed under the composition. Attention is paid on the arithmetic with dinatural numbers and on the relationship between dinatural and natural numbers from a categorical point of view. Suitable examples are taken from the category of finite sets.
Recommendations
Cites work
- Accessible Categories: The Foundations of Categorical Model Theory
- Dinatural transformations
- Functorial polymorphism
- scientific article; zbMATH DE number 4165146 (Why is no real title available?)
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 65746 (Why is no real title available?)
- scientific article; zbMATH DE number 692330 (Why is no real title available?)
- Monoidal categories with natural numbers object
- On closed categories of functors
- Orbits and monoids in a topos
- Tarski's High School Identities
Cited in
(6)- Chu spaces as a semantic bridge between linear logic and mathematics.
- G-dinaturality.
- Composing dinatural transformations: towards a calculus of substitution
- scientific article; zbMATH DE number 431763 (Why is no real title available?)
- On Compositionality of Dinatural Transformations
- Strong dinatural transformations and generalised codensity monads
This page was built for publication: Dinatural numbers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1295522)
