Source author record

Hans-E Porst

Hans-E Porst appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.CT

Catalog footprint

What is connected

2works

1topics

1close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

The algebra of Feistel-Toffoli schemes

The process of replacing an arbitrary Boolean function by a bijective one, a fundamental tool in reversible computing and in cryptography, is interpreted algebraically as a particular instance of a certain group homomorphism from the X-fold cartesian power of a group G into the automorphism group of the free G-set over the set X. It is shown that this construction not only can be generalized from groups to monoids but, more generally, to internal categories in arbitrary finitely complete categories where it becomes a cartesian isomorphism between certain discrete fibrations.

preprint2020arXiv

Internal Coalgebras in Cocomplete Categories: Generalizing the Eilenberg-Watts-Theorem

The category of internal coalgebras in a cocomplete category $\mathcal{C}$ with respect to a variety $\mathcal{V}$ is equivalent to the category of left adjoint functors from $\mathcal{V}$ into $\mathcal{C}$. This can be seen best when considering such coalgebras as finite coproduct preserving functors from $\mathcal{T}_\mathcal{V}^\mathsf{op}$, the dual of the Lawvere theory of $\mathcal{V}$, into $\mathcal{C}$: coalgebras are restrictions of left adjoints and any such left adjoint is the left Kan extension of a coalgebra along the embedding of $\mathcal{T}_\mathcal{V}^\mathsf{op}$ into $\mathsf{Alg}\mathcal{T}$. Since ${_S\mathit{Mod}}$-coalgebras in the variety ${_R\mathit{Mod}}$ for rings $R$ and $S$ are nothing but left $S$-, right $R$-bimodules, the equivalence above generalizes the Eilenberg-Watts Theorem and all its previous generalizations. Generalizing and strengthening Bergman's completeness result for categories of internal coalgebras in varieties we also prove that the category of coalgebras in a locally presentable category $\mathcal{C}$ is locally presentable and comonadic over $\mathcal{C}$ and, hence, complete in particular. We show, moreover, that Freyd's canonical constructions of internal coalgebras in a variety define left adjoint functors. Special instances of the respective right adjoints appear in various algebraic contexts and, in the case where $\mathcal{V}$ is a commutative variety, are coreflectors from the category $\mathsf{Coalg}(\mathcal{T},\mathcal{V})$ into $\mathcal{V}$.