We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.CT
< prev | next >
new | recent | 1602

Change to browse by:

cs
cs.LO
math
math.AT
quant-ph

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Category Theory

Title: Homotopy composition of cospans

Authors: Joachim Kock, David I. Spivak
(Submitted on 28 Feb 2016 (v1), last revised 27 Apr 2016 (this version, v2))
Abstract: It is well known that the category of finite sets and cospans, composed by pushout, contains the universal {\em special} commutative Frobenius algebra. In this note we observe that the same construction yields also general commutative Frobenius algebras, if just the pushouts are changed to homotopy pushouts.
Comments: 4 pages. In this version: A more direct introduction and a additional few details on the tubular neighborhood argument. Final version, to appear in Commun. Contemp. Math
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Algebraic Topology (math.AT); Quantum Physics (quant-ph)
MSC classes: 16B50, 18D10, 18A30, 57N70, 57-XX, 94Cxx
Journal reference: Commun. Contemp. Math. 19 (2017), 1650047
DOI: 10.1142/S0219199716500474
Cite as: arXiv:1602.08739 [math.CT]
  (or arXiv:1602.08739v2 [math.CT] for this version)

Submission history

From: David Spivak [view email]
[v1] Sun, 28 Feb 2016 16:54:12 GMT (14kb)
[v2] Wed, 27 Apr 2016 13:39:45 GMT (11kb)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.