Are there any such things as category theories where the category is an indeterminist/postdeterminist form of free will? Let's say, maybe it is a category where each object is an object of choice, there are initial choices and terminal choices, etc.
Or, this concept of free will actually requires going between subsidiary categories. So it involves metacategories or what are called "n-categories," maybe? I tried looking for an essay where they work something out along these lines, but the sort-of closest I got was an essay about category theory being applied to an analysis of the deontic logic implicit in the Canadian legal system. I'll try Googling something like "deontic logic and category theory" and see what that gets me.
Alt./specified formulation of the issue: talk of "nontrivial automorphisms" is given in category theory, incl. where this intersects higher set theory. Now Kant says that the three main phrasings he expresses the categorical imperative in are at heart equivalent/enter into some sort of equivalence relation with each other. So perhaps we could speak of nontrivial automorphisms of the category of categorical imperatives. Since Kant has autonomian free will and moral concepts as integrally linked, perhaps he could be construed as allowing that deontic categories could be repurposed as categories of free will. (Or, then, his own "categories of freedom" are such things, except insofar as his use of the word "categories" is not identical in meaning to modern use in the higher-mathematics context.)