Australian Category Seminar

For which classes L of limits is the forgetful functor from the category of L-complete categories and L-continuous functors to the category of graphs and graph-morphisms a monadic functor? (1/2)

Max Kelly·2 October 1996

m-limits, for each m in M, and whose morphisms are the functors preserving these limits on the nose. Writing Gph for the category of (small) graphs, we have a forgetful functor U from Cat_M to Gph sending a category with M-limits to its underlying graph. For certain sets M it is known that this functor U is monadic — but the proofs use a different ``trick'' for each such M. We show that: U need not even be of descent type; it is so if each category m in M is freely generated by some graph; even then U need not be monadic; U is indeed monadic if each such graph is loop-free.

Back