-
1Academic Journal
المؤلفون: Ros Camacho, Ana1 (AUTHOR) roscamachoa@cardiff.ac.uk, Wasserman, Thomas A.2 (AUTHOR)
المصدر: Journal of Mathematical Physics. Dec2024, Vol. 65 Issue 12, p1-21. 21p.
مصطلحات موضوعية: *MONOIDAL categories, *CONFORMAL field theory, *VECTOR spaces, *POLYNOMIALS, *CRYSTAL field theory
-
2Academic Journal
المؤلفون: Creutzig, Thomas1 (AUTHOR) thomas.creutzig@fau.de
المصدر: Journal of the London Mathematical Society. Dec2024, Vol. 110 Issue 6, p1-38. 38p.
مصطلحات موضوعية: *MONOIDAL categories, *MATHEMATICAL category theory, *ALGEBRA, *VERTEX operator algebras
-
3Academic Journal
المؤلفون: Elduque, Alberto1 (AUTHOR) elduque@unizar.es, Etingof, Pavel1,2 (AUTHOR) etingof@math.mit.edu, Kannan, Arun S.2 (AUTHOR) arun_kannan@alum.mit.edu
المصدر: Journal of Algebra. Mar2025, Vol. 666, p387-414. 28p.
مصطلحات موضوعية: *MONOIDAL categories, *LIE algebras, *ALGEBRA, *SUPERALGEBRAS, *LIE superalgebras, *JORDAN algebras
-
4Academic Journal
المؤلفون: Planat, Michel, Amaral, Marcelo
المصدر: Machine Learning & Knowledge Extraction; Dec2024, Vol. 6 Issue 4, p2876-2891, 16p
مصطلحات موضوعية: LANGUAGE models, MONOIDAL categories, ARTIFICIAL intelligence, CHATGPT, ANYONS
-
5Academic Journal
المؤلفون: WILSON, PAUL, GHICA, DAN, ZANASI, FABIO
المصدر: Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 4, p8:1-8:24, 24p
مصطلحات موضوعية: MONOIDAL categories, PROGRAMMING languages, COMPUTER science, DIGITAL electronics
-
6Academic Journal
المؤلفون: Décoppet, Thibault D., Xu, Hao
المصدر: Journal of Mathematical Physics; Jun2024, Vol. 65 Issue 6, p1-32, 32p
مصطلحات موضوعية: BRAIDED structures, PHASES of matter, ALGEBRA, HOMOTOPY theory, MONOIDAL categories
-
7Academic Journal
المؤلفون: Dong, Chongying1 (AUTHOR) dong@ucsc.edu, Ng, Siu-Hung1,2 (AUTHOR), Ren, Li1,3 (AUTHOR) renl@scu.edu.cn
المصدر: Advances in Mathematics. Feb2025, Vol. 462, pN.PAG-N.PAG. 1p.
مصطلحات موضوعية: *MONOIDAL categories, *VERTEX operator algebras, *FINITE groups, *C*-algebras, *ORBIFOLDS
-
8Academic Journal
المؤلفون: Giorgetti, Luca, Wei Yuan, XuRui Zhao
المصدر: AIMS Mathematics; 2024, Vol. 9 Issue 5, p11320-11334, 15p
مصطلحات موضوعية: FROBENIUS algebras, ALGEBRA, MONOIDAL categories
-
9Dissertation/ Thesis
المؤلفون: Osborne, Toby
المساهمون: Schmidt, Renate, Schalk, Andrea
مصطلحات موضوعية: category theory, involutive categories, monoidal categories
-
10Conference
المؤلفون: Ahrens, Benedikt, Matthes, Ralph, van der Weide, Niels, Wullaert, Kobe
المساهمون: Delft University of Technology (TU Delft), University of Birmingham Birmingham, Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Centre National de la Recherche Scientifique (CNRS), Radboud University Nijmegen, NWO project “The Power of Equality” OCENW.M20.380, which is financed by the Dutch Research Council (NWO)
المصدر: CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.science/hal-04375376 ; CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2024, London, United Kingdom. pp.260-273, ⟨10.1145/3636501.3636956⟩ ; https://popl24.sigplan.org/details/CPP-2024-papers/17/Displayed-Monoidal-Categories-for-the-Semantics-of-Linear-Logic
مصطلحات موضوعية: linear logic, categorical semantics, monoidal categories, Coq, UniMath, [INFO]Computer Science [cs]
جغرافية الموضوع: London, United Kingdom
Relation: hal-04375376; https://hal.science/hal-04375376; https://hal.science/hal-04375376/document; https://hal.science/hal-04375376/file/AhrensMatthesVanDerWeideWullaertCPP24.pdf
-
11Conference
المؤلفون: Matthes, Ralph, Wullaert, Kobe, Ahrens, Benedikt
المساهمون: Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Centre National de la Recherche Scientifique (CNRS), Delft University of Technology (TU Delft), University of Birmingham Birmingham, Jakob Rehof
المصدر: 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024)
https://hal.science/hal-04642448
9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), Jul 2024, Tallinn, Estonia. pp.25:1-25:22, ⟨10.4230/LIPIcs.FSCD.2024.25⟩
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2024.25مصطلحات موضوعية: Substitution, Monoidal categories, Actegories, Tensorial strength, Proof assistant Coq, UniMath library, Non-wellfounded syntax, [INFO]Computer Science [cs]
Time: Tallinn, Estonia
-
12Academic Journal
المؤلفون: Earnshaw, Matt, Hefford, James, Román, Mario
المساهمون: Matt Earnshaw and James Hefford and Mario Román
مصطلحات موضوعية: monoidal categories, profunctors, lenses, duoidal categories
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.25
-
13Academic Journal
المؤلفون: Tenorio, Ana Luiza, Mariano, Hugo Luiz
المصدر: Boletín de Matemáticas; Vol. 30 No. 2 (2023); 25-30 ; Boletín de Matemáticas; Vol. 30 Núm. 2 (2023); 25-30 ; 2357-6529 ; 0120-0380
مصطلحات موضوعية: toposes, sheaves, quantales, monoidal categories
وصف الملف: application/pdf
-
14Academic Journal
المؤلفون: Creutzig, Thomas, McRae, Robert, Yang, Jinwei
المصدر: Communications in Mathematical Physics; Nov2023, Vol. 404 Issue 1, p339-400, 62p
مصطلحات موضوعية: VERTEX operator algebras, SEMISIMPLE Lie groups, MODULES (Algebra), ALGEBRA, SUPERALGEBRAS, INDECOMPOSABLE modules, ORBIFOLDS, MONOIDAL categories
-
15Academic Journal
المؤلفون: Campbell, Jonathan A, Ponto, Kate
المصدر: Quarterly Journal of Mathematics; Sep2023, Vol. 74 Issue 3, p1119-1163, 45p
مصطلحات موضوعية: ALGEBRA, GENERALIZATION, MONOIDAL categories
-
16Academic Journal
المؤلفون: Benjamin, Thibaut
المصدر: Mathematical Structures in Computer Science; Sep2023, Vol. 33 Issue 8, p744-780, 37p
مصطلحات موضوعية: MODEL theory, HOMOTOPY theory, STRUCTURAL models, CELL morphology, THEORY of change, MATHEMATICAL category theory, MONOIDAL categories
-
17
المؤلفون: Fuchs, Jürgen, 1957, Grøsfjeld, Tobias
المصدر: Journal of Pure and Applied Algebra. 227(1)
مصطلحات موضوعية: 6j-symbols, Fusion categories, Monoidal categories, Tetrahedral symmetry, Physics, Fysik
وصف الملف: electronic
-
18Academic Journal
المؤلفون: Carpi, Sebastiano, Gaudio, Tiziano, Giorgetti, Luca, Hillier, Robin
المصدر: Communications in Mathematical Physics; Aug2023, Vol. 402 Issue 1, p169-212, 44p
مصطلحات موضوعية: VERTEX operator algebras, SUPERALGEBRAS, ALGEBRA, ASSOCIATIVE algebras, MONOIDAL categories
-
19Academic Journal
المؤلفون: Ardizzoni, Alessandro, Goyvaerts, Isar, Menini, Claudia
المصدر: QM - Quaestiones Mathematicae; Aug2023, Vol. 46 Issue 8, p1503-1546, 44p
مصطلحات موضوعية: VECTOR spaces, ALGEBRA, MONOIDAL categories
-
20Academic Journal
Alternate Title: Categorías de haces en categorías monoidales semicartesianas: aspectos lógicos y cohomológicos. (Spanish)
المؤلفون: Luiza Tenorio, Ana, Luiz Mariano, Hugo
المصدر: Boletín de Matemáticas; 2023, Vol. 30 Issue 2, p1-6, 6p
مصطلحات موضوعية: MATHEMATICAL category theory, MATHEMATICAL logic, PHILOSOPHY of mathematics, COHOMOLOGY theory, BANACH spaces, SHEAF theory, MONOIDAL categories