Symplectic reduction is reinterpreted as the composition of arrows in the category of integrable Poisson manifolds, whose arrows are isomorphism classes of dual pairs, with symplectic groupoids as units. Morita equivalence of Poisson manifolds amounts to isomorphism of objects in this category. This description paves the way for the quantization of the classical reduction procedure, which is ba...

This paper uses category theory to emphasize the relationships between Mealy, Moore and Rabin-Scott automata, and the behavioural automata are used as a unifying framework. Some of the known links between Mealy, Moore and RabinScott automata are translated into isomorphisms of categories, and we also show how behavioural automata connect to these automata. Considering the distinction between fi...

Categories of partial functions have become increasingly important principally because of their applications in theoretical computer science. In this note we prove that the category of partial bijections between sets as an inverse-Baer*-category with closed projections and in which the idempotent split is an exact category. Finally the Noether isomorphism theorems are given for this exact categ...

We show that any free ∗-autonomous category is strictly equivalent to a free ∗-autonomous category in which the double-involution (−)∗∗ is the identity functor and the canonical isomorphism A A∗∗ is an identity arrow for all A.

Given groupoids G and H as well as an isomorphism Ψ : Sd G∼= Sd Hbetween subdivisions, we construct an isomorphism P : G∼= H . If Ψ equals SdF forsome functor F , then the constructed isomorphism P is equal to F . It follows thatthe restriction of Sd to the category of groupoids is conservative. These results donot hold for arbitrary categories.

in this article, we have shown, for the add-point monad t, thepartial morphism category set*is isomorphic to the kleisli category sett. alsowe have proved that the category, sett, of t-algebras is isomorphic to thecategory set of pointed sets. finally we have established commutative squaresinvolving these categories.

We describe a fundamental additive functor Efund on the orbit category of a group. We prove that any isomorphism conjecture valid for Efund also holds for all additive functors, like K-theory, (topological) Hochschild or cyclic homology, etc. Finally, we reduce this universal isomorphism conjecture to K-theoretic ones, at the price of introducing some coefficients.