General 2-Dimensional Adjunctions, Universal Monads and Simplicial Structures
Category Theory
2021-03-04 v1
Abstract
We use the general notion of 2-dimensional adjunction with given coherence equations as introduced by MacDonald-Stone, building on earlier work by Gray, to derive coherence equations for a general 2-monad, which we refer to as a lax-Gray monad. The free lax-Gray 2-monad on one object may be regarded as the suspension of a lax 2-dimensional analogue of the simplicial category Delta. We call this analogue Delta LG for lax-Gray Delta. This is analogous to the way that the free 1-monad Mnd (as presented in Schanuel-Street) is a concrete example of the suspension of the simplicial category Delta, described by Mac Lane.
Keywords
Cite
@article{arxiv.2103.02001,
title = {General 2-Dimensional Adjunctions, Universal Monads and Simplicial Structures},
author = {John Lauchlin MacDonald and Laura Scull},
journal= {arXiv preprint arXiv:2103.02001},
year = {2021}
}