TY - RPRT TI - Tangentads: a formal approach to tangent categories AU - Marcello Lanfranchi PY - 2025 UR - https://arxiv.org/abs/2503.18354 ID - 2503.18354 ER -