Abstract:An algebraic left Kan extension is a left Kan extension which interacts well with the algebraic structure present in the given situation, and these appear in various subjects such as the homotopy theory of operads and in the study of conformal field theories. In the most interesting examples, the functor along which we left Kan extend goes between categories that enjoy universal properties which express the meaning of the calculation we are trying to understand. These universal properties say that the categories in question are universal examples of some categorical structure possessing some kind of internal structure, and so fall within the theory of internal algebra classifiers described in earlier work of the author. In this article conditions of a monad-theoretic nature are identified which give rise to morphisms between such universal objects, which satisfy the key condition of Guitart-exactness, which guarantees the algebraicness of left Kan extending along them. The resulting setting explains the algebraicness of the left Kan extensions arising in operad theory, for instance from the theory of Feynman categories of Kaufmann and Ward, generalisations thereof, and also includes the situations considered by Batanin and Berger in their work on the homotopy theory of algebras of polynomial monads.

A simple algebraic characterization of nonstandard extensions

A-infinity Structure on Ext-algebras

Constructing Ultrapowers from Elementary Extensions of Full Clones

Exponentiations of ultrafilters

Extension properties for monotone and sublinear operators

Regularity results for classes of Hilbert C*-modules with respect to special bounded modular functionals

A Topological Approach to Non-Archimedean Mathematics

The extension of Elementary Numerical Operator Theory: Simply Generic, Right-Stochastically Non-Gaussian, Sub-Canonically H-Positive Definite Monoids

Remarks on some Limit Geometric Properties related to an Idempotent and Non-Associative Algebraic Structure

Algebraic Kan extensions along morphisms of internal algebra classifiers

A topological approach to undefinability in algebraic extensions of $\mathbb{Q}$

Universal extensions of specialization semilattices

A Criterion for Kan Extensions of Lax Monoidal Functors

Extensions and factorizations of topological and semitopological universal algebras

A characterization of multiplier ideals via ultraproducts

Computing base extensions of ordinary abelian varieties over finite fields

Ultrafilter extensions of bounded graphs are elementary

Generalized functions as sequence spaces with ultranorms

Super Operator Systems, Strong Norms, and Operator Tensor Products