Dagger categories - PDFSEARCH.IO - Document Search Engine

Dagger categories
Results: 6

#	Item
1	Dagger Traced Symmetric Monoidal Categories and Reversible Programming William J. Bowman, Roshan P. James, and Amr Sabry School of Informatics and Computing, Indiana University {wilbowma,rpjames,sabry}@indiana.edu Add to Reading List Source URL: www.williamjbowman.com - Date: 2018-03-18 12:54:47
2	Proceedings of the ESSLLI 2014 Student Session 26th European Summer School in Logic, Language & Information August 11–22, 2014, Tübingen, Germany Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2014-08-26 09:50:28 Monoidal categories Quantum mechanics Dagger categories Non-classical logic Categorical quantum mechanics Quantum logic Logic Modal logic David Hilbert Category theory Mathematics Algebra
3	Products in dagger categories with complete ordered Mor-sets by Victor Porton Email: [removed] Web: http://www.mathematics21.org March 31, 2014 Add to Reading List Source URL: www.mathematics21.org Language: English - Date: 2014-03-31 13:48:22 Limit Category Sheaf Coproduct Morphism Product Equivalence of categories Initial and terminal objects Category theory Abstract algebra Mathematics
4	Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories Samson Abramsky Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, U.K. http://web.comlab.ox.ac.uk/oucl/wo Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:09 Monoidal categories Dagger compact category Braided monoidal category Compact closed category Monoid Vector space Closed category Quantum logic Product Algebra Category theory Mathematics
5	Under consideration for publication in Math. Struct. in Comp. Science A Categorical Quantum Logic SAMSON ABRAMSKY ROSS DUNCAN Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK. Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:34:05 Biproduct Closed monoidal category Compact closed category Dagger compact category Quantum logic Coproduct Braided monoidal category Closed category Category of finite dimensional Hilbert spaces Category theory Mathematics Monoidal categories
6	Orthomodularity in dagger biproduct categories John Harding Abstract Add to Reading List Source URL: ncatlab.org Language: English Algebra Additive categories Functional analysis Mathematical logic Quantum logic Biproduct Projection Algebraic structure Hilbert space Mathematics Physics Quantum mechanics