المؤلفون: Basold, Henning, Ralaivaosaona, Tanjona

المساهمون: Henning Basold and Tanjona Ralaivaosaona

مصطلحات موضوعية: Causal morphisms, Final Coalgebras, Final Chains, Metric Maps, Guarded Recursion, Traced Symmetric Monoidal Category

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 270, 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.18

الاتاحة: https://doi.org/10.4230/LIPIcs.CALCO.2023.18
https://nbn-resolving.org/urn:nbn:de:0030-drops-188157
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.18

المؤلفون: Piedeleu R., Zanasi F.

المساهمون: Piedeleu R., Zanasi F.

مصطلحات موضوعية: complete axiomatisation, finite-state automata, string diagram, symmetric monoidal category

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:001090725400002; volume:19; issue:1; firstpage:1; lastpage:40; numberofpages:40; journal:LOGICAL METHODS IN COMPUTER SCIENCE; https://hdl.handle.net/11585/947076; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85149694022; https://lmcs.episciences.org/10963

الاتاحة: https://hdl.handle.net/11585/947076
https://doi.org/10.46298/lmcs-19(1:13)2023
https://lmcs.episciences.org/10963

المؤلفون: Holm, Henrik, Odabaşı, Sinem

المصدر: Holm , H & Odabaşı , S 2023 , ' The tensor embedding for a Grothendieck cosmos ' , Science China Mathematics , vol. 66 , no. 11 , pp. 2471–2494 . https://doi.org/10.1007/s11425-021-2046-9

مصطلحات موضوعية: (pre)envelope, (pure) injective object, 18D15, 18D20, 18E10, 18E20, 18G05, enriched functor, exact category, purity, symmetric monoidal category, tensor embedding, Yoneda embedding

وصف الملف: application/pdf

الاتاحة: https://curis.ku.dk/portal/da/publications/the-tensor-embedding-for-a-grothendieck-cosmos(56e43a2f-2579-48cb-9315-ff2e639eb89f).html
https://doi.org/10.1007/s11425-021-2046-9
https://curis.ku.dk/ws/files/374832692/THE_TENSOR_EMBEDDING.pdf

المؤلفون: Laurentiu George Maxim

المصدر: Tạp chí Khoa học Đại học Đà Lạt, Pp 4-18 (2021)

مصطلحات موضوعية: characters of representations, external and symmetric products, generating series, symmetric groups, symmetric monoidal category, schur functor., General Works

وصف الملف: electronic resource

Relation: https://tckh.dlu.edu.vn/index.php/tckhdhdl/article/view/845; https://doaj.org/toc/0866-787X

URL الوصول: https://doaj.org/article/d7ea24c6b01b4d2eb428a405f2096e01

المؤلفون: Bonchi, Filippo, Gadducci, Fabio, Kissinger, Aleks, Sobocinski, Pawel, Zanasi, Fabio

المصدر: Mathematical Structures in Computer Science , 32 (4) pp. 511-541. (2022)

مصطلحات موضوعية: String diagram, symmetric monoidal category, double-pushout

وصف الملف: text

Relation: https://discovery.ucl.ac.uk/id/eprint/10160500/1/string-diagram-rewrite-theory-ii-rewriting-with-symmetric-monoidal-structure.pdf; https://discovery.ucl.ac.uk/id/eprint/10160500/

الاتاحة: https://discovery.ucl.ac.uk/id/eprint/10160500/1/string-diagram-rewrite-theory-ii-rewriting-with-symmetric-monoidal-structure.pdf
https://discovery.ucl.ac.uk/id/eprint/10160500/

المؤلفون: Bonchi, Filippo, Gadducci, Fabio, Kissinger, Aleks, Sobocinski, Pawel, Zanasi, Fabio

المصدر: Mathematical Structures in Computer Science (2022) (In press).

مصطلحات موضوعية: String diagram, symmetric monoidal category, double-pushout rewriting, confluence

وصف الملف: text

Relation: https://discovery.ucl.ac.uk/id/eprint/10151067/1/string-diagram-rewrite-theory-iii-confluence-with-and-without-frobenius.pdf; https://discovery.ucl.ac.uk/id/eprint/10151067/

الاتاحة: https://discovery.ucl.ac.uk/id/eprint/10151067/1/string-diagram-rewrite-theory-iii-confluence-with-and-without-frobenius.pdf
https://discovery.ucl.ac.uk/id/eprint/10151067/

المؤلفون: Piedeleu R., Zanasi F.

المساهمون: Piedeleu R., Zanasi F.

مصطلحات موضوعية: Complete axiomatisation, Finite-state automata, String diagram, Symmetric monoidal category

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-71994-4; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-71995-1; info:eu-repo/semantics/altIdentifier/wos/WOS:000716951700024; ispartofbook:Foundations of Software Science and Computation Structures. FOSSACS 2021; 24th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2021 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021; volume:12650; firstpage:469; lastpage:489; numberofpages:21; serie:LECTURE NOTES IN COMPUTER SCIENCE; https://hdl.handle.net/11585/904860; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85108902644; https://link.springer.com/chapter/10.1007/978-3-030-71995-1_24

الاتاحة: https://hdl.handle.net/11585/904860
https://doi.org/10.1007/978-3-030-71995-1_24
https://link.springer.com/chapter/10.1007/978-3-030-71995-1_24

المؤلفون: José Nicanor Alonso Álvarez, José Manuel Fernández Vilaboa, Ramón González Rodríguez

المصدر: Mathematics ; Volume 9 ; Issue 4 ; Pages: 424

مصطلحات موضوعية: Braided (symmetric) monoidal category, Long dimodule, (co)quasitriangular weak Hopf monoid

وصف الملف: application/pdf

Relation: Algebra, Geometry and Topology; https://dx.doi.org/10.3390/math9040424

الاتاحة: https://doi.org/10.3390/math9040424

المؤلفون: Habiro, Kazuo, Massuyeau, Gwénaël

المساهمون: 葉廣, 和夫, 80346064

مصطلحات موضوعية: 57K16, 57K20, 57K31, 16T05, 18M05, 18M15, 3-manifold, bottom tangle, cobordism, Kontsevich integral, LMO invariant, finite type invariant, TQFT, Drinfeld associator, Hopf algebra, quasi-triangular quasi-Hopf algebra, braided monoidal category, symmetric monoidal category

Relation: http://hdl.handle.net/2433/277822; Quantum Topology; 12; 593; 703

الاتاحة: http://hdl.handle.net/2433/277822

المؤلفون: Maxim, Laurentiu George

المصدر: Dalat University Journal of Science; Volume 12, Issue 2 (2022): Natural Sciences and Technology; 4-18 ; Tạp chí Khoa học Đại học Đà Lạt; Tập 12, Số 2 (2022): Chuyên san Khoa học Tự nhiên và Công nghệ; 4-18 ; 0866-787X

مصطلحات موضوعية: Characters of representations, External and symmetric products, Generating series, Symmetric groups, Symmetric monoidal category, Schur functor

وصف الملف: application/pdf

Relation: https://tckh.dlu.edu.vn/index.php/tckhdhdl/article/view/845/426; https://tckh.dlu.edu.vn/index.php/tckhdhdl/article/view/845

الاتاحة: https://tckh.dlu.edu.vn/index.php/tckhdhdl/article/view/845

المؤلفون: Sobocinski P., Wilson P. W., Zanasi F.

المساهمون: Sobocinski P., Wilson P.W., Zanasi F.

مصطلحات موضوعية: Graphical reasoning, String diagram, Symmetric monoidal category, Tool

وصف الملف: ELETTRONICO

Relation: ispartofbook:8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019); 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019); volume:139; firstpage:1; lastpage:7; numberofpages:7; serie:LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS; https://hdl.handle.net/11585/904594; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85075972073; https://drops.dagstuhl.de/opus/volltexte/2019/11448/

الاتاحة: https://hdl.handle.net/11585/904594
https://doi.org/10.4230/LIPIcs.CALCO.2019.20
https://drops.dagstuhl.de/opus/volltexte/2019/11448/

المؤلفون: Piedeleu, R, Zanasi, F

المساهمون: Kiefer, S, Tasson, C

المصدر: In: Kiefer, S and Tasson, C, (eds.) Foundations of Software Science and Computation Structures. (pp. pp. 469-489). Springer (2021)

مصطلحات موضوعية: string diagrams, finite-state automata, symmetric monoidal category, complete axiomatisation

وصف الملف: text

Relation: https://discovery.ucl.ac.uk/id/eprint/10126196/1/Piedeleu-Zanasi2021_Chapter_AStringDiagrammaticAxiomatisat.pdf; https://discovery.ucl.ac.uk/id/eprint/10126196/

الاتاحة: https://discovery.ucl.ac.uk/id/eprint/10126196/1/Piedeleu-Zanasi2021_Chapter_AStringDiagrammaticAxiomatisat.pdf
https://discovery.ucl.ac.uk/id/eprint/10126196/

المؤلفون: Dershowitz, Nachum, Jouannaud, Jean-Pierre

المساهمون: Tel Aviv University (TAU), Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Spécification et Vérification (LSV), Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS), Université Paris-Saclay, Deducteam

المصدر: ISSN: 0304-3975.

مصطلحات موضوعية: Drags, Graphs, rewriting, symmetric monoidal category, ACM: G.: Mathematics of Computing, [INFO]Computer Science [cs], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Relation: hal-03139788; https://inria.hal.science/hal-03139788; https://inria.hal.science/hal-03139788v2/document; https://inria.hal.science/hal-03139788v2/file/S0304397519300544.pdf; PII: S0304-3975(19)30054-4

الاتاحة: https://inria.hal.science/hal-03139788
https://inria.hal.science/hal-03139788v2/document
https://inria.hal.science/hal-03139788v2/file/S0304397519300544.pdf
https://doi.org/10.1016/j.tcs.2019.01.029

المؤلفون: Martínez Cegarra, Antonio

مصطلحات موضوعية: Symmetric monoidal category, Nonabelian cocycles, Classifying space, Loop space, Spectrum, Higher category

وصف الملف: application/pdf

Relation: Turk J Math (2020) 44: 50 – 84 [doi:10.3906/mat-1905-91]; http://hdl.handle.net/10481/61008

الاتاحة: http://hdl.handle.net/10481/61008
https://doi.org/10.3906/mat-1905-91

المؤلفون: Jinming Fang, Zhou Fang

المصدر: Fuzzy Sets and Systems. 425:83-99

مصطلحات موضوعية: 0209 industrial biotechnology, Pure mathematics, Logic, Unital, Existential quantification, Quantale, Symmetric monoidal category, 02 engineering and technology, Uniform continuity, 020901 industrial engineering & automation, Tensor product, Artificial Intelligence, Mathematics::Category Theory, Convergence (routing), 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Commutative property, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e0801fc419fe417d6807f0a30deed964
https://doi.org/10.1016/j.fss.2020.10.008

المؤلفون: Thomas Voß, Catherine Meusburger

المصدر: Quantum Topology. 12:507-591

مصطلحات موضوعية: Monoid, Pure mathematics, Group (mathematics), Structure (category theory), Symmetric monoidal category, Automorphism, Mapping class group, Mathematics::Category Theory, Mathematics::Quantum Algebra, Genus (mathematics), Mathematics - Quantum Algebra, FOS: Mathematics, Quantum Algebra (math.QA), Homomorphism, Geometry and Topology, Mathematical Physics, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6cba955cc9a700e982b68648af427eec
https://doi.org/10.4171/qt/158

المؤلفون: Claudio Bartocci, Jean-Jacques Szczeciniarz, Andrea Gentili

المصدر: São Paulo Journal of Mathematical Sciences. 15:754-789

مصطلحات موضوعية: General Mathematics, 010102 general mathematics, Symmetric monoidal category, 01 natural sciences, Semiring, Combinatorics, Computational Theory and Mathematics, Cover (topology), Scheme (mathematics), Monoid (category theory), 0103 physical sciences, 010307 mathematical physics, 0101 mathematics, Statistics, Probability and Uncertainty, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c37f1de13b8d4c6d65702cff0ad91096
https://doi.org/10.1007/s40863-021-00221-8

المؤلفون: Sobocinski, P, Wilson, P, Zanasi, F

المساهمون: Roggenbach, M, Sokolova, A

المصدر: In: Roggenbach, M and Sokolova, A, (eds.) 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). (pp. 20:1-20:7). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik: Dagstuhl, Germany. (2019)

مصطلحات موضوعية: tool, string diagram, symmetric monoidal category, graphical reasoning

وصف الملف: text

Relation: https://discovery.ucl.ac.uk/id/eprint/10081115/1/LIPIcs-CALCO-2019-20.pdf; https://discovery.ucl.ac.uk/id/eprint/10081115/

الاتاحة: https://discovery.ucl.ac.uk/id/eprint/10081115/1/LIPIcs-CALCO-2019-20.pdf
https://discovery.ucl.ac.uk/id/eprint/10081115/

المؤلفون: Shuanhong Wang, Yue Gu, Tao Zhang

المصدر: Algebra Colloquium. 28:213-242

مصطلحات موضوعية: Pure mathematics, Algebra and Number Theory, Mathematics::Quantum Algebra, Mathematics::Category Theory, Applied Mathematics, Astrophysics::Instrumentation and Methods for Astrophysics, Computer Science::General Literature, Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing), Symmetric monoidal category, Quasigroup, Braided monoidal category, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4b82904be91429a5ff6d3d6ed47f5f73
https://doi.org/10.1142/s1005386721000183

المؤلفون: Spencer Breiner, John S. Nolan

المصدر: Electronic Proceedings in Theoretical Computer Science. 333:33-48

مصطلحات موضوعية: FOS: Computer and information sciences, Theoretical computer science, Computer Science - Artificial Intelligence, Semantics (computer science), String (computer science), Structure (category theory), Mathematics - Category Theory, Symmetric monoidal category, Context (language use), Rotation formalisms in three dimensions, Computer Science::Robotics, Computer Science - Robotics, Artificial Intelligence (cs.AI), Mathematics::Category Theory, FOS: Mathematics, Robot, Category Theory (math.CT), Robotics (cs.RO), Categorical variable, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::653e7ad5864eac5b332259f0265f4de9
https://doi.org/10.4204/eptcs.333.3