Involutive categories and monoids, with a GNS-correspondence (Q1929298): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2111717017
@@ Property / OpenAlex ID: W2111717017 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4552
@@ Property / arXiv ID: 1003.4552 / rank @@
+Normal rank
@@ Property / cites work @@
+Nuclear and trace ideals in tensored \(^*\)-categories
+Normal rank
@@ Property / cites work @@
+Categorical quantum mechanics
@@ Property / cites work: Categorical quantum mechanics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763551
@@ Property / cites work: Q2763551 / rank @@
+Normal rank
@@ Property / cites work @@
+Category Theory
@@ Property / cites work: Category Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
+Normal rank
@@ Property / cites work @@
+Bar categories and star operations
@@ Property / cites work: Bar categories and star operations / rank @@
+Normal rank
@@ Property / cites work @@
+Two-dimensional monad theory
@@ Property / cites work: Two-dimensional monad theory / rank @@
+Normal rank
@@ Property / cites work @@
+Dagger Categories and Formal Distributions
@@ Property / cites work: Dagger Categories and Formal Distributions / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762622
@@ Property / cites work: Q2762622 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Components in a Many-Sorted Microcosm
@@ Property / cites work: Coalgebraic Components in a Many-Sorted Microcosm / rank @@
+Normal rank
@@ Property / cites work @@
+The Microcosm Principle and Concurrency in Coalgebra
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Walks, in Quantum and Turing Computation
+Normal rank
@@ Property / cites work @@
+Dagger categories of tame relations
@@ Property / cites work: Dagger categories of tame relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4750696
@@ Property / cites work: Q4750696 / rank @@
+Normal rank
@@ Property / cites work @@
+Bilinearity and Cartesian Closed Monads.
@@ Property / cites work: Bilinearity and Cartesian Closed Monads. / rank @@
+Normal rank
@@ Property / cites work @@
+Closed categories generated by commutative monads
@@ Property / cites work: Closed categories generated by commutative monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q3950708
@@ Property / cites work: Q3950708 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+The formal theory of monads
@@ Property / cites work: The formal theory of monads / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1929298