Representable (Down f), Corepresentable (Up f)