A Coherent Approach to Pseudomonads

By Stephen Lack. 2000

80 citations recorded by the source corpus.

Subfields: Geometry and Topology, Mathematical Physics, Neurology

View Paper: https://www.semanticscholar.org/paper/8ee73f55f4dc4f07b73e5ff709b85749260fd588

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Geometry and Topology

In Mathematical Physics

In Neurology

Citations in the corpus

The formal theory of monads II (2002, background): “In fact, this was the motivation for the deEnition in [13] of the Gray-category of pseudomonads in a Gray-category.”
Frobenius algebras and ambidextrous adjunctions (2005, methodology): “This idea was used by Lack to construct a Gray-category psm — the ‘free living pseudomonad’ — such that a pseudomonad T in the Gray-category K is a Gray-functor T:psm → K [23].”
Skew monoidales, skew warpings and quantum categories (2012, unknown): “Skew monoidales Let M be a monoidal bicategory [9], which is the natural context in which monoidales (or pseudomonoids) can be studied [12, 9, 19].”
Enhanced 2-categories and limits for lax morphisms (2011, background): “into a strict T-algebra. The diﬀerence is that now the transformation TUw→ Uw is only pseudo, oplax, or lax natural, respectively as w= p, l, or c(note the inversion of lax and oplax). It is shown in [Lac00] that composing with Uw induces an isomorphism Natw¯(X ,T-Algw) ∼= Natw¯(X ,T)-Algw (2) where”
A 2-Categories Companion (2007, background): “The basic definitions involving pseudomonads in Gray-categories were given in [45, 44], or in the equivalent language of pseudomonoids in [11]; for the universal pseudomonad, and the Gray-limit approach to pseudoalgebras, see [32].”
Biequivalences in tricategories (2011, unknown): “ ⇓Φg = I gf β DD gf gfgfβgf //gfgf gf gαf 6ˆˆ 66 66 6 gf β //gf gf 1 // gfβ DD ∼= ⇓gΦ I gf β DD gf gfgfβgf //gfgf gf gαf 6ˆˆ 66 66 6 gf β //gf gf 1 // 1 PPP(( PPPP PPPP PPPP ⇓Ψf = See [St], [Ver], or [L] for earlier deﬁnitions. 10 fg (fI)g r 1 ~>> ~~ ~~ ~~ ~ (f(gf))g (1β)1 ~>> ~~ ~~ ~~ ~”