TY - RPRT TI - Order-enriched solid functors AU - Lurdes Sousa AU - Walter Tholen PY - 2019 UR - https://arxiv.org/abs/1812.11222 ID - 1812.11222 ER -