Jump to content

Pseudoalgebra

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 1234qwer1234qwer4 (talk | contribs) at 14:13, 27 May 2020 (See also: capitalisation). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In algebra, given a 2-monad T in a 2-category, a pseudoalgebra for T is a 2-category-version of algebra for T, that satisfies the laws up to coherent isomorphisms.

See also

References

  • John C. Baez and J. Peter May, editors. Towards higher categories, volume 152 of The IMA Volumes in Mathematics and its Applications. Springer, New York.
  • Mike Shulman, "Not every pseudoalgebra is equivalent to a strict one", Advances in Mathematics 229, no. 3 (2012), 2024–2041, arXiv