Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation

Documenti analoghi

• Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads
  di: Ko, Joanna
  Pubblicazione: (2026)
• Relative monadicity
  di: Arkor, Nathanael, et al.
  Pubblicazione: (2023)
• The nerve theorem for relative monads
  di: Arkor, Nathanael, et al.
  Pubblicazione: (2024)
• The formal theory of relative monads
  di: Arkor, Nathanael, et al.
  Pubblicazione: (2023)
• Adjoint functor theorems for lax-idempotent pseudomonads
  di: Arkor, Nathanael, et al.
  Pubblicazione: (2023)