TY - RPRT TI - Types of well-founded trees and the homomorphism order AU - Jakub SmolĂ­k PY - 2026 UR - https://arxiv.org/abs/2608.02136 ID - 2608.02136 ER -