Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads

Documenti analoghi

• Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation
  di: Arkor, Nathanael, et al.
  Pubblicazione: (2024)
• What is the universal property of the 2-category of monads?
  di: Lack, Stephen, et al.
  Pubblicazione: (2022)
• Relative monadicity
  di: Arkor, Nathanael, et al.
  Pubblicazione: (2023)
• Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities
  di: Lucyshyn-Wright, Rory B. B., et al.
  Pubblicazione: (2023)
• The nerve theorem for relative monads
  di: Arkor, Nathanael, et al.
  Pubblicazione: (2024)