TY - RPRT TI - Minimality Notions via Factorization Systems AU - Thorsten Wißmann PY - 2021 DO - 10.4230/lipics.calco.2021.24 UR - https://arxiv.org/abs/2106.07233 ID - 2106.07233 ER -