Span composition using fake pullbacks

MaRDI QIDQ5004663zbMATH OpenFDO

Authors Ross H. Street

Publication date 3 August 2021

Full work available at URL https://arxiv.org/abs/1907.02695, http://www.tac.mta.ca/tac/volumes/36/4/36-04abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

factorization systempartial mapPuppe exact categoryrelationspan

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Equational categories (18C05) Fibered categories (18D30) Protomodular categories, semi-abelian categories, Mal'tsev categories (18E13) Connections of group theory with homological algebra and category theory (20J99)

Abstract: The construction of a category of spans can be made in some categories $CC$ which do not have pullbacks in the traditional sense. The PROP for monoids is a good example of such a $CC$. The 2012 book concerning homological algebra by Marco Grandis gives the proof of associativity of relations in a Puppe-exact category based on a 1967 paper of M.v{S}. Calenko. The proof here is a restructuring of that proof in the spirit of the first sentence of this Abstract. We observe that these relations are spans of EM-spans and that EM-spans admit fake pullbacks so that spans of EM-spans compose. Our setting is more general than Puppe-exact categories.

Recommendations

• Lax pullback complements and pullbacks of spans
• The span construction
• Constructing span categories from categories without pullbacks
• Categories as monoids in \({\mathcal S}pan,{\mathcal R}el\) and \({\mathcal S}up\)
• Homotopy composition of cospans

Cites work

• A new characterisation of Goursat categories
• Abelsche und exakte Kategorien, Korrespondenzen
• Abstract substitution in enriched categories
• Bicategories of spans and relations
• Categories of continuous functors. I
• Distributive laws and factorization
• Factorization systems as Eilenberg-Moore algebras
• Goursats Theorem and the Zassenhaus Lemma
• Homological algebra. The interplay of homology with distributive lattices and orthodox semigroups.
• scientific article; zbMATH DE number 2125662 (Why is no real title available?)
• scientific article; zbMATH DE number 4027721 (Why is no real title available?)
• scientific article; zbMATH DE number 1933002 (Why is no real title available?)
• scientific article; zbMATH DE number 3353518 (Why is no real title available?)
• Introduction to bicategories
• Iterated distributive laws
• Polynomials as spans
• Proper factorization systems in 2-categories
• Seminar on triples and categorical homology theory ETH 1966/67
• The formal theory of monads. II
• The geometry of tensor calculus. I
• Topology and logic as a source of algebra
• Variation through enrichment

Cited in

(2)

• Constructing span categories from categories without pullbacks
• Lax pullback complements and pullbacks of spans

This page was built for publication: Span composition using fake pullbacks

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