Categories as models on a suitable algebraic theory

2011/09/09 by Kuerak Chung, Chung, Kuerak, G. Marelli +2
Computer Science · Mathematics · #18C10 #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic, programming, and type systems #math.CT #msc:18C10

paper · pdf · doi:10.48550/arxiv.1109.2091

arxiv created 2011/09/09 · openalex publication_date 2011/09/09 · arxiv updated 2011/09/12 · openalex created_date 2016/06/24 · openalex updated_date 2026/07/28

Abstract

We explain how categories, and groupoids, can be seen as models for a Lawvere \mathfrak Gr-theory, where \mathfrak Gr is the category of graphs, and show that for Lawvere \mathfrak Gr-theories finitely presentable models are finitely presentable objects.

Related

• Algebraic models for higher categories
• Formal Model Theory & Higher Topology
• Model Theory and Groups
• Categories as mathematical models
• The Γ-structure of an additive track category