2025/03/26 by Samuel Desrochers, Desrochers, Samuel
Computer Science · #03G30 #18A40 #18B50 #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Mathematics #Logic, Reasoning, and Knowledge
paper · pdf · doi:10.48550/arxiv.2503.20671
openalex publication_date 2025/03/26 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this paper, we study the list object functor L : C → C for a general category C with finite limits and parametrized list objects. We show that L is polynomial as long as C is extensive.