Abstract
Double categories have been introduced by Ehresmann [Ehr63a] as a generalization of the notion of a 2-category and, hence, also of strict monoidal categories. They are defined as a class of morphisms equipped with two compositions, which are required to be distributive with respect to each other, such that all structure maps of one category are functors with respect to another. Specifically, the formal definition is as follows:
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2001). Double Categories and Double Functors. In: Non-Semisimple Topological Quantum Field Theories for 3-Manifolds with Corners. Lecture Notes in Mathematics, vol 1765. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44625-7_10
Download citation
DOI: https://doi.org/10.1007/3-540-44625-7_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42416-1
Online ISBN: 978-3-540-44625-5
eBook Packages: Springer Book Archive