Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
0 answers
49 views

Lax morphism classifiers via lax-idempotentification

Let $T$ be a 2-monad on a nice 2-category $\mathcal K$, so that the inclusion $T\text{-}\mathbf{Alg}_s \to T\text{-}\mathbf{Alg}_l$ of the 2-category of (strict) $T$-algebras and strict $T$-algebra ...