A note on the Wehrheim-Woodward category
Author(s) -
Alan Weinstein
Publication year - 2011
Publication title -
the journal of geometric mechanics
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.511
H-Index - 17
eISSN - 1941-4897
pISSN - 1941-4889
DOI - 10.3934/jgm.2011.3.507
Subject(s) - morphism , mathematics , composition (language) , pure mathematics , equivalence (formal languages) , class (philosophy) , symplectic geometry , sequence (biology) , transversality , algebra over a field , discrete mathematics , computer science , linguistics , artificial intelligence , philosophy , biology , genetics
Wehrheim and Woodward have shown how to embed all the canonical relations between symplectic manifolds into a category in which the composition is the usual one when transversality and embedding assumptions are satisfied. A morphism in their category is an equivalence class of composable sequences of canonical relations, with composition given by concatenation. In this note, we show that every such morphism is represented by a sequence consisting of just two relations, one of them a reduction and the other a coreduction.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom