离散 Lawvere 理论与单子

我们证明，在某些假设下，强有限型的 enriched 单子由离散的 enriched Lawvere 理论给出。另一方面，由离散 enriched Lawvere 理论给出的单子保持满射。