Exponential objects

DOI10.1515/FORMA-2015-0028zbMath1334.18001OpenAlexW4233558688MaRDI QIDQ271905

Marco Riccardi

Publication date: 20 April 2016

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2015-0028

zbMATH Keywords

natural transformationexponential objectsfunctor category

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Natural morphisms, dinatural morphisms (18A23) Definitions and generalizations in theory of categories (18A05) Functor categories, comma categories (18A25)

Cites Work

• Object-free definition of categories
• Categorical pullbacks
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Exponential objects