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

Download:

Current browse context:

math.CT

Change to browse by:

References & Citations

Bookmark

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

Mathematics > Category Theory

Title: Generalizations of Bilinear Maps -- Technical Report

Abstract: Bilinear maps and their classifying tensor products are well-known in the theory of linear algebra, and their generalization to algebras of commutative monads is a classical result of monad theory. Motivated by constructions needed in categorical approaches to finite model theory, we generalize the notion of bimorphism much further. To illustrate these maps are mathematically natural notions, we show that many common axioms in category theory can be phrased as certain morphisms being bimorphisms. We also show that much of the established theory of bimorphisms goes through in much greater generality. Our results carefully identify which assumptions are needed for the different components of the theory, including when good properties hold globally, or can at least be established locally. We include a brief string diagrammatic account of the bimorphism axiom, and conclude by recovering a simple proof of a classical theorem, emphasizing the efficacy of the bimorphism perspective.
Subjects: Category Theory (math.CT)
Cite as: arXiv:2205.05382 [math.CT]
  (or arXiv:2205.05382v1 [math.CT] for this version)

Submission history

From: Daniel Marsden [view email]
[v1] Wed, 11 May 2022 10:04:50 GMT (26kb)

Link back to: arXiv, form interface, contact.