In this paper equivalence of the concepts of ana-bicategory and the 2D-multitopic category is proved. The equivalence is FOLDS equivalence of the FOLDS-Specifications of the two concepts. Two constructions for transforming one form of category to another are given and it is shown that we get a structure equivalent to the original one when we compose the two constructions.
Keywords: Multitopic category, bicategory, FOLDS
2000 MSC: 18D05
Theory and Applications of Categories,
Vol. 16, 2006,
No. 23, pp 619-667.
http://www.tac.mta.ca/tac/volumes/16/23/16-23.ps
http://www.tac.mta.ca/tac/volumes/16/23/16-23.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/16/23/16-23.ps