Categorical pullbacks

DOI10.2478/FORMA-2015-0001MaRDI QIDQ2515740zbMATH OpenOpenAlexFDO

Authors Marco Riccardi

Publication date 6 August 2015

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

Full work available at URL https://doi.org/10.2478/forma-2015-0001

zbMATH Keywords

category pullbackpullback lemma

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Recommendations

• Equivalent definitions of pullback in a 2-category
• Generalized pullbacks and pushouts
• Polynomials in categories with pullbacks
• Simply Connected Limits
• scientific article; zbMATH DE number 269628

Cites work

• scientific article; zbMATH DE number 2125670 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 4197282 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Object-free definition of categories

Cited in

(9)

• The category of numbered abelian groups
• Exponential objects
• scientific article; zbMATH DE number 3948545 (Why is no real title available?)
• scientific article; zbMATH DE number 1264287 (Why is no real title available?)
• scientific article; zbMATH DE number 1474919 (Why is no real title available?)
• Object-free definition of categories
• Three easy pieces: imaginary seminar talks in honour of Bob Rosebrugh
• scientific article; zbMATH DE number 269628 (Why is no real title available?)
• Equivalent definitions of pullback in a 2-category

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: Categorical pullbacks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2515740)