Object-free definition of categories

DOI10.2478/FORMA-2013-0021zbMath1298.18001OpenAlexW1999479982MaRDI QIDQ467791

Marco Riccardi

Publication date: 5 November 2014

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

Full work available at URL: https://doi.org/10.2478/forma-2013-0021

zbMATH Keywords

correspondence between different approaches to categoryobject-free category

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Definitions and generalizations in theory of categories (18A05)

Related Items (2)

Exponential objects ⋮ Categorical pullbacks

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Object-free definition of categories