Span composition using fake pullbacks

zbMATH Open1467.18003arXiv1907.02695MaRDI QIDQ5004663FDOQ5004663

Authors: Ross H. Street 

Publication date: 3 August 2021

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.

Full work available at URL: https://arxiv.org/abs/1907.02695

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

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

zbMATH Keywords

relationspanfactorization systempartial mapPuppe exact category

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (2)

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

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)