TY  - JOUR
AU  - Bojana Femić
TI  - Bifunctor Theorem and strictification tensor product for double categories with lax double functors
JO  - Theory and applications of categories
PY  - 2023
SP  - 824
EP  - 873
VL  - 39
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2023_39_a28/
LA  - en
ID  - TAC_2023_39_a28
ER  -