On double categories:
On traces:
On monads in 2-categories:
Last revised on May 8, 2026 at 05:01:34. See the history of this page for a list of all contributions to it.