On the Existence of an Orthogonal Factorization System on 1-Cob and 2-Cob

Joseph Abadi
DOI: https://doi.org/10.48550/arXiv.1506.03119
2015-06-10
Abstract:We define the category 2-Cob combinatorially and use this definition to prove the existence of an orthogonal factorization system. In the second half of the paper, we define oriented 1-Cob similarly and define a functor from oriented 1-Cob to 2-Cob. After defining this functor, the orthogonal factorization system on 2-Cob is used, in turn, to prove the existence of an orthogonal factorization system on oriented 1-Cob.
Category Theory
What problem does this paper attempt to address?