Algebraically compact functors
From MaRDI portal
Publication:1208195
DOI10.1016/0022-4049(92)90169-GzbMath0777.18005WikidataQ127764105 ScholiaQ127764105MaRDI QIDQ1208195
Publication date: 16 May 1993
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Hilbert spacesinitial \(T\)-algebratransfinite inductionendofunctorcanonical morphismcpoalgebraic compactnesspartial injectionsterminal \(T\)- coalgebra
Related Items (30)
Classical control and quantum circuits in enriched category theory ⋮ On Coalgebras over Algebras ⋮ Dagger categories of tame relations ⋮ The Category TOF ⋮ On coalgebras over algebras ⋮ Coalgebras in functional programming and type theory ⋮ Unnamed Item ⋮ Weighted models for higher-order computation ⋮ Companions, Codensity and Causality ⋮ Coherence and strictification for self-similarity ⋮ Join inverse categories and reversible recursion ⋮ Quantum circuit oracles for abstract machine computations ⋮ Towards a geometry of recursion ⋮ On the Functor ℓ2 ⋮ Quantum Speedup and Categorical Distributivity ⋮ A compositional approach to defining logics for coalgebras ⋮ On the final sequence of a finitary set functor ⋮ Expressive logics for coalgebras via terminal sequence induction ⋮ Quantum logic in dagger kernel categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Join Inverse Categories as Models of Reversible Recursion ⋮ Quantum Logic in Dagger Kernel Categories ⋮ Structural induction and coinduction in a fibrational setting ⋮ Inversion, Iteration, and the Art of Dual Wielding ⋮ Unnamed Item ⋮ Towards coalgebraic behaviourism ⋮ Structural operational semantics for continuous state stochastic transition systems ⋮ Corecursion up-to via causal transformations ⋮ A categorical model for the geometry of interaction
Cites Work
This page was built for publication: Algebraically compact functors