{"id":"arxiv/2610.37944","url":"https://arxiv.org/abs/2610.37944","tags":["math.CT","cs.LO"],"score":0,"title":"Symmetric List Objects","domain":"math.CT","source":"arxiv","authors":["Fiona Blackett","Vikraman Choudhury","Rin Liu"],"reviews":0,"subject":"math.CT","summary":"Cons-lists are fundamental to functional programming, and are well-understood as initial algebras, and as a concrete construction of free monoids. In category theory, such list objects can be axiomatised internal to any monoidal category, with nil and cons maps, and a recursion mechanism. When strengthened to support parametrised recursion, they can be shown to give the free monoid construction. We study a small variant on parametrised list objects called parametrised symmetric list objects, in a symmetric monoidal category, where the two frontmost elements are allowed to be permuted. We…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-27","reactions":{}}