2 papers
math.CT2026
Limit Sketches and the Universal Realization of a Limit Sketch
Johnathon Taylor
We construct the universal realized limit sketch associated to a given limit sketch. The construction uses factorization systems to organize the classical argument of [2], yielding…
math.CT2025
The Inductive Coherator For Grothendieck Infinity Groupoids
Johnathon Taylor
We extend the theory of distributive series of monads of \cite{EC1} by extending the definition to include an $\bN$-indexed collection of monads. Under certain conditions, distribu…