Categories as models on a suitable algebraic theory

zbMath1252.18011arXiv1109.2091MaRDI QIDQ3166574

Kuerak Chung, Giovanni Marelli

Publication date: 12 October 2012

Full work available at URL: https://arxiv.org/abs/1109.2091

zbMATH Keywords

generatoralgebraic theoriescoequalizergroupoidlocally finitely presentable categoryreflective subcategorypresheaf(directed) graph(enriched) Lawvere theory(finitary) monadcategory of models of a theoryfinitely presentable (object, model)

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Accessible and locally presentable categories (18C35) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Enriched categories (over closed or monoidal categories) (18D20) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40)

This page was built for publication: Categories as models on a suitable algebraic theory