FinVect

In the mathematical field of category theory, FinVect (or FdVect) is the category whose objects are all finite-dimensional vector spaces and whose morphisms are all linear maps between them.[1]

Properties

FinVect has two monoidal products:

Examples

Tensor networks are string diagrams interpreted in FinVect.[2]

Group representations are functors from groups, seen as one-object categories, into FinVect.[3]

DisCoCat models are monoidal functors from a pregroup grammar to FinVect.[4]

See also

References

  1. ^ Hasegawa, Masahito; Hofmann, Martin; Plotkin, Gordon (2008), "Finite dimensional vector spaces are complete for traced symmetric monoidal categories", Pillars of computer science, Springer, pp. 367–385
  2. ^ Kissinger, Aleks (2012). Pictures of processes: automated graph rewriting for monoidal categories and applications to quantum computing (Thesis). arXiv:1203.0202. Bibcode:2012PhDT........17K.
  3. ^ Wiltshire-Gordon, John D. (2014-06-03). "Uniformly Presented Vector Spaces". arXiv:1406.0786 [math.RT].
  4. ^ de Felice, Giovanni; Meichanetzidis, Konstantinos; Toumi, Alexis (2020). "Functorial question answering". Electronic Proceedings in Theoretical Computer Science. 323: 84–94. arXiv:1905.07408. doi:10.4204/EPTCS.323.6. S2CID 195874109.

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.