Molecular Hamiltonian: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
en>Bibcode Bot m Adding 0 arxiv eprint(s), 1 bibcode(s) and 0 doi(s). Did it miss something? Report bugs, errors, and suggestions at User talk:Bibcode Bot |
||
| Line 1: | Line 1: | ||
The name of the | In [[mathematics]], a '''dagger category''' (also called '''involutive category''' or '''category with involution''' <ref name="Burgin" /><ref name="Lambek" />) is a [[category (mathematics)|category]] equipped with a certain structure called ''dagger'' or ''involution''. The name dagger category was coined by Selinger.<ref name="Selinger" /> | ||
== Formal definition == | |||
A '''dagger category''' is a [[category (mathematics)|category]] <math>\mathbb{C}</math> equipped with an [[Involution (mathematics)|involutive]], identity-on-object [[functor]] <math>\dagger\colon \mathbb{C}^{op}\rightarrow\mathbb{C}</math>. | |||
In detail, this means that it associates to every [[morphism]] <math>f\colon A\to B</math> in <math>\mathbb{C}</math> its [[adjugate matrix|adjoint]] <math>f^\dagger\colon B\to A</math> such that for all <math>f\colon A\to B</math> and <math>g\colon B\to C</math>, | |||
* <math> \mathrm{id}_A=\mathrm{id}_A^\dagger\colon A\rightarrow A</math> | |||
* <math> (g\circ f)^\dagger=f^\dagger\circ g^\dagger\colon C\rightarrow A</math> | |||
* <math> f^{\dagger\dagger}=f\colon A\rightarrow B\,</math> | |||
Note that in the previous definition, the term ''adjoint'' is used in the linear-algebraic sense, not in the category theoretic sense. | |||
Some reputable sources <ref name="Springer" /> additionally require for a ''category with involution'' that its set of morphisms is partially ordered and that the order of morphisms is compatible with the composition of morphisms, that is ''a''<''b'' implies <math>a\circ c<b\circ c</math> for morphisms ''a'', ''b'', ''c'' whenever their sources and targets are compatible. | |||
== Examples == | |||
* The [[category (mathematics)|category]] '''Rel''' of [[Category of relations|sets and relations]] possesses a dagger structure i.e. for a given [[Relation (mathematics)|relation]] <math> R:X\rightarrow Y </math> in '''Rel''', the relation <math>R^\dagger:Y\rightarrow X</math> is the [[inverse relation|relational converse]] of <math> R</math>. | |||
*:A self-adjoint morphism is a [[symmetric relation]]. | |||
* The [[category (mathematics)|category]] '''FdHilb''' of [[Category of finite dimensional Hilbert spaces|finite dimensional Hilbert spaces]] also possesses a dagger structure: Given a [[linear map]] <math>f:A\rightarrow B</math>, the map <math>f^\dagger:B\rightarrow A</math> is just its [[Hermitian adjoint|adjoint]] in the usual sense. | |||
== Remarkable morphisms == | |||
In a dagger category <math>\mathbb{C}</math>, a [[morphism]] <math> f</math> is called | |||
* '''unitary''' if <math>f^\dagger=f^{-1}</math>; | |||
* '''self-adjoint''' if <math> f=f^\dagger</math> (this is only possible for an [[endomorphism]] <math>f\colon A \to A</math>). | |||
The terms ''unitary'' and ''self-adjoint'' in the previous definition are taken from the [[Category of finite dimensional Hilbert spaces|category of Hilbert spaces]] where the morphisms satisfying those properties are then [[Unitary transformation|unitary]] and [[self-adjoint]] in the usual sense. | |||
== See also == | |||
{{Portal|Category theory}} | |||
* [[Dagger symmetric monoidal category]] | |||
* [[Dagger compact category]] | |||
== References == | |||
<references> | |||
<ref name="Selinger">P. Selinger, ''[http://www.mscs.dal.ca/~selinger/papers.html#dagger Dagger compact closed categories and completely positive maps]'', Proceedings of the 3rd International Workshop on Quantum Programming Languages, Chicago, June 30–July 1, 2005.</ref> | |||
<ref name="Burgin">M. Burgin, ''Categories with involution and correspondences in γ-categories'', IX All-Union Algebraic Colloquium, Gomel (1968), pp.34–35; M. Burgin, ''Categories with involution and relations in γ-categories'', Transactions of the Moscow Mathematical Society, 1970, v. 22, pp. 161–228 </ref> | |||
<ref name="Lambek">J. Lambek, ''Diagram chasing in ordered categories with involution'', Journal of Pure and Applied Algebra 143 (1999), No.1–3, 293–307</ref> | |||
<ref name="Springer">{{SpringerEOM| title=Category with involution | id=Category_with_involution | oldid=16991 | first=M.Sh. | last=Tsalenko }}</ref> | |||
</references> | |||
*{{nlab|id=dagger-category|title=Dagger category}} | |||
[[Category:Dagger categories| ]] | |||
Revision as of 14:30, 27 July 2013
In mathematics, a dagger category (also called involutive category or category with involution [1][2]) is a category equipped with a certain structure called dagger or involution. The name dagger category was coined by Selinger.[3]
Formal definition
A dagger category is a category equipped with an involutive, identity-on-object functor .
In detail, this means that it associates to every morphism in its adjoint such that for all and ,
Note that in the previous definition, the term adjoint is used in the linear-algebraic sense, not in the category theoretic sense.
Some reputable sources [4] additionally require for a category with involution that its set of morphisms is partially ordered and that the order of morphisms is compatible with the composition of morphisms, that is a<b implies for morphisms a, b, c whenever their sources and targets are compatible.
Examples
- The category Rel of sets and relations possesses a dagger structure i.e. for a given relation in Rel, the relation is the relational converse of .
- A self-adjoint morphism is a symmetric relation.
- The category FdHilb of finite dimensional Hilbert spaces also possesses a dagger structure: Given a linear map , the map is just its adjoint in the usual sense.
Remarkable morphisms
In a dagger category , a morphism is called
- unitary if ;
- self-adjoint if (this is only possible for an endomorphism ).
The terms unitary and self-adjoint in the previous definition are taken from the category of Hilbert spaces where the morphisms satisfying those properties are then unitary and self-adjoint in the usual sense.
See also
Sportspersons Hyslop from Nicolet, usually spends time with pastimes for example martial arts, property developers condominium in singapore singapore and hot rods. Maintains a trip site and has lots to write about after touring Gulf of Porto: Calanche of Piana.
References
- ↑ M. Burgin, Categories with involution and correspondences in γ-categories, IX All-Union Algebraic Colloquium, Gomel (1968), pp.34–35; M. Burgin, Categories with involution and relations in γ-categories, Transactions of the Moscow Mathematical Society, 1970, v. 22, pp. 161–228
- ↑ J. Lambek, Diagram chasing in ordered categories with involution, Journal of Pure and Applied Algebra 143 (1999), No.1–3, 293–307
- ↑ P. Selinger, Dagger compact closed categories and completely positive maps, Proceedings of the 3rd International Workshop on Quantum Programming Languages, Chicago, June 30–July 1, 2005.
- ↑ 53 yrs old Fitter (Common ) Batterton from Carp, likes to spend some time kid advocate, property developers in singapore and handball. Completed a cruise liner experience that was comprised of passing by Gusuku Sites and Related Properties of the Kingdom of Ryukyu.
Here is my web page www.mtfgaming.com