المؤلفون: Gaucher, Philippe

المساهمون: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)

المصدر: https://hal.science/hal-04118042 ; 2024.

مصطلحات موضوعية: precubical set, directed path, presheaf, Reedy category, Lawvere metric space, process algebra, [MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT], [MATH.MATH-AT]Mathematics [math]/Algebraic Topology [math.AT]

Relation: hal-04118042; https://hal.science/hal-04118042; https://hal.science/hal-04118042v3/document; https://hal.science/hal-04118042v3/file/ThickCategoryCubes.pdf

الاتاحة: https://hal.science/hal-04118042
https://hal.science/hal-04118042v3/document
https://hal.science/hal-04118042v3/file/ThickCategoryCubes.pdf

المؤلفون: Behr, Nicolas, Melliès, Paul-André, Zeilberger, Noam

المساهمون: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Les assistants à la démonstration au cœur du raisonnement mathématique (PICUBE), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), 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), Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion (PARTOUT), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-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), Marco Gaboardi, Femke van Raamsdonk, ANR-22-CE48-0015,CoREACT,Réécriture basée sur Coq : vers une théorie des catégories appliquée exécutable(2022), ANR-21-CE48-0017,LambdaComb,une expédition cartographique entre le lambda-calcul, la logique, et la combinatoire(2021)

المصدر: Leibniz International Proceedings in Informatics (LIPIcs) ; FSCD 2023 - 8th International Conference on Formal Structures for Computation and Deduction ; https://hal.science/hal-04222049 ; FSCD 2023 - 8th International Conference on Formal Structures for Computation and Deduction, Jul 2023, Rome, Italy. pp.17:1-17:20, ⟨10.4230/LIPIcs.FSCD.2023.17⟩

مصطلحات موضوعية: Categorical rewriting, Double pushout, Sesqui-pushout, Double categories, Convolution product, Presheaf categories, Framed bicategories, Opfibrations, Rule algebra, Theory of computation → Categorical semantics, [INFO]Computer Science [cs]

جغرافية الموضوع: Rome, Italy

الاتاحة: https://hal.science/hal-04222049
https://hal.science/hal-04222049v1/document
https://hal.science/hal-04222049v1/file/LIPIcs.FSCD.2023.17.pdf
https://doi.org/10.4230/LIPIcs.FSCD.2023.17

المؤلفون: Rosset, Aloïs, Overbeek, Roy, Endrullis, Jörg

المساهمون: Fernández, Maribel, Poskitt, Christopher M.

المصدر: Rosset , A , Overbeek , R & Endrullis , J 2023 , Fuzzy Presheaves are Quasitoposes . in M Fernández & C M Poskitt (eds) , Graph Transformation : 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 13961 LNCS , Springer Science and Business Media Deutschland GmbH , pp. 102-122 , 16th International Conference on Graph Transformation, ICGT 2023 , Leicester , United Kingdom , 19/07/23 . https://doi.org/10.1007/978-3-031-36709-0_6

مصطلحات موضوعية: Fuzzy set, Graph rewriting, Presheaf, Quasitopos

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

Relation: urn:ISBN:9783031367083

الاتاحة: https://research.vu.nl/en/publications/523bccc9-3f34-4761-8211-860f64c26b31
https://doi.org/10.1007/978-3-031-36709-0_6
https://hdl.handle.net/1871.1/523bccc9-3f34-4761-8211-860f64c26b31
https://research.vu.nl/ws/files/334277049/Fuzzy_Presheaves_are_Quasitoposes.pdf
http://www.scopus.com/inward/record.url?scp=85169050460&partnerID=8YFLogxK
http://www.scopus.com/inward/citedby.url?scp=85169050460&partnerID=8YFLogxK

المؤلفون: Clementino, Maria Manuel, Fitas, Carlos

مصطلحات موضوعية: Quantale, V -category, distributor, laxidempotent monad, presheaf monad, free cocompletion monad, Ballmonad, Lawvere-Cauchy completion monad

Relation: #PLACEHOLDER_PARENT_METADATA_VALUE#; UIDB/00324/2020; FCTPh.D.grant SFRH/BD/150460/2019; https://hdl.handle.net/10316/114837

الاتاحة: https://hdl.handle.net/10316/114837
https://doi.org/10.2989/16073606.2022.2144532

المؤلفون: Gao Zhang, Shaoqun Zhang

المصدر: Axioms; Volume 12; Issue 6; Pages: 610

مصطلحات موضوعية: discrete presheaf monad, continuous triangular norm, Barr extension of the ultrafilter monad

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

Relation: https://dx.doi.org/10.3390/axioms12060610

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

المؤلفون: Constantin, Carmen, Dicaire, Nuiok, Heunen, Chris

المساهمون: Carmen Constantin and Nuiok Dicaire and Chris Heunen

مصطلحات موضوعية: Monad, Monoidal category, Presheaf, Central idempotent, Graded monad, Indexed monad, Formal monad, Strong monad, Commutative monad

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

Relation: Is Part Of LIPIcs, Volume 216, 30th EACSL Annual Conference on Computer Science Logic (CSL 2022); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.15

الاتاحة: https://doi.org/10.4230/LIPIcs.CSL.2022.15
https://nbn-resolving.org/urn:nbn:de:0030-drops-157353
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.15

المؤلفون: Gaucher, Philippe

المساهمون: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)

المصدر: https://hal.science/hal-04118042 ; 2023.

مصطلحات موضوعية: precubical set, directed path, presheaf, Reedy category, Lawvere metric space, process algebra, [MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT], [MATH.MATH-AT]Mathematics [math]/Algebraic Topology [math.AT]

Relation: hal-04118042; https://hal.science/hal-04118042; https://hal.science/hal-04118042v2/document; https://hal.science/hal-04118042v2/file/ThickCategoryCubes.pdf

الاتاحة: https://hal.science/hal-04118042
https://hal.science/hal-04118042v2/document
https://hal.science/hal-04118042v2/file/ThickCategoryCubes.pdf

المؤلفون: Coquand, Thierry, 1961

المصدر: Logical Methods in Computer Science. 19(3):1-11

مصطلحات موضوعية: Computer and Information Sciences, Data- och informationsvetenskap (Datateknik), Dependent Type Theory, Presheaf models, Normalization, Computer Science, Science & Technology - Other Topics

URL الوصول: https://gup.ub.gu.se/publication/328386

المؤلفون: Ward, David Charles

المساهمون: Rowley, Peter

مصطلحات موضوعية: 512, Finite groups, Group theory, Homology, Presheaf, Pi-product graph, Wreath product, Cuspidal character

URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664558

المؤلفون: Mestrano, Nicole, Simpson, Carlos

المساهمون: Laboratoire Jean Alexandre Dieudonné (LJAD), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Mathieu Anel, Gabriel Catren, ANR-13-PDOC-0015,TOFIGROU,Torseurs, fibrés vectoriels et schéma en groupes fondamental(2013), ANR-09-BLAN-0151,HODAG,Géométrie algébrique dérivée, n-catégorie et théorie de Hodge(2009), ANR-19-P3IA-0002,3IA@cote d'azur,3IA Côte d'Azur(2019), European Project: 670624,H2020,ERC-2014-ADG,DuaLL(2015)

المصدر: New Spaces in Mathematics : formal and conceptual reflections ; https://hal.science/hal-03347136 ; Mathieu Anel; Gabriel Catren. New Spaces in Mathematics : formal and conceptual reflections, Cambridge University Press, pp.462-504, 2021, 9781108490634. ⟨10.1017/9781108854429.012⟩ ; www.cambridge.org

مصطلحات موضوعية: Site, Stack, Simplicial presheaf, Gerbe, Shape, [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG], [MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT]

Relation: info:eu-repo/grantAgreement//670624/EU/Duality in Formal Languages and Logic - a unifying approach to complexity and semantics/DuaLL; hal-03347136; https://hal.science/hal-03347136; https://hal.science/hal-03347136/document; https://hal.science/hal-03347136/file/stacks-AM.pdf

الاتاحة: https://hal.science/hal-03347136
https://hal.science/hal-03347136/document
https://hal.science/hal-03347136/file/stacks-AM.pdf
https://doi.org/10.1017/9781108854429.012

المؤلفون: Caramello, Olivia, author

الاتاحة: https://doi.org/10.1093/oso/9780198758914.001.0001

المؤلفون: Pédrot, Pierre-Marie

المساهمون: Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Gallinette : vers une nouvelle génération d'assistant à la preuve (LS2N - équipe GALLINETTE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST)

المصدر: LICS 2020 - Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science ; https://inria.hal.science/hal-02548315 ; LICS 2020 - Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.1-14, ⟨10.1145/3373718.3394740⟩

مصطلحات موضوعية: exceptions, syntactic model, presheaf, dependent types, strict propositions, type theory, control primitives, Markov's principle, [INFO]Computer Science [cs], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Saarbrücken, Germany

Relation: hal-02548315; https://inria.hal.science/hal-02548315; https://inria.hal.science/hal-02548315/document; https://inria.hal.science/hal-02548315/file/main.pdf

الاتاحة: https://inria.hal.science/hal-02548315
https://inria.hal.science/hal-02548315/document
https://inria.hal.science/hal-02548315/file/main.pdf
https://doi.org/10.1145/3373718.3394740

المؤلفون: Bernardy, Jean-Philippe, 1978, Coquand, Thierry, 1961, Moulin, Guilhem, 1988

المصدر: Electronical Notes in Theoretical Computer Science. 319:67-82

مصطلحات موضوعية: Computer Sciences, Datavetenskap (datalogi), Parametricity, Presheaf semantics, Type theory

وصف الملف: electronic

URL الوصول: https://gup.ub.gu.se/publication/230735

المؤلفون: Carrasco Carrasco, María Del Pilar, Martínez Cegarra, Antonio

مصطلحات موضوعية: Cohomology, Presheaf of monoids, Monoidal prestack, Simplicial set, Homotopy colimit

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

Relation: Carrasco, P.; Cegarra, A.M. Cohomology of Presheaves of Monoids. Mathematics 2020, 8, 116. [doi:10.3390/math8010116]; http://hdl.handle.net/10481/60606

الاتاحة: http://hdl.handle.net/10481/60606
https://doi.org/10.3390/math8010116

المؤلفون: Mannaa, Bassel, Møgelberg, Rasmus Ejlers

المساهمون: Bassel Mannaa and Rasmus Ejlers Møgelberg

مصطلحات موضوعية: Guarded type theory, Coinduction, Presheaf model, Clocked type theory, Dependent adjunction

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

Relation: Is Part Of LIPIcs, Volume 108, 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2018.23

الاتاحة: https://doi.org/10.4230/LIPIcs.FSCD.2018.23
https://nbn-resolving.org/urn:nbn:de:0030-drops-91938
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2018.23

المؤلفون: Caramello, Olivia, author

المصدر: Theories, Sites, Toposes : Relating and studying mathematical theories through topos-theoretic 'bridges', 2017.

الاتاحة: https://doi.org/10.1093/oso/9780198758914.003.0008

المؤلفون: Eberhart, Clovis, Hirschowitz, Tom

المساهمون: Laboratoire de Mathématiques (LAMA), Université Savoie Mont Blanc (USMB Université de Savoie Université de Chambéry )-Centre National de la Recherche Scientifique (CNRS), Filippo Bonchi and Barbara König

المصدر: 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)
https://hal.science/hal-01715405
7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), 2017, Ljubljana, Slovenia. pp.10, ⟨10.4230/LIPIcs.CALCO.2017.10⟩

مصطلحات موضوعية: 1998 ACM Subject Classification F32 Semantics of Programming Languages Keywords and phrases Concurrency, Sheaves, Presheaf models, Game Semantics, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Ljubljana, Slovenia

Relation: hal-01715405; https://hal.science/hal-01715405; https://hal.science/hal-01715405/document; https://hal.science/hal-01715405/file/LIPIcs-CALCO-2017-10.pdf

الاتاحة: https://hal.science/hal-01715405
https://hal.science/hal-01715405/document
https://hal.science/hal-01715405/file/LIPIcs-CALCO-2017-10.pdf
https://doi.org/10.4230/LIPIcs.CALCO.2017.10

المؤلفون: König, Harald, Wolter, Uwe

المساهمون: Harald König and Uwe Wolter

مصطلحات موضوعية: Van Kampen Cocone, Presheaf Topos, Fibred Semantics, Mapping Path

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

Relation: Is Part Of LIPIcs, Volume 72, 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2017.16

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

المؤلفون: Fabian Ruch, Christian Sattler, Thierry Coquand

المصدر: Mathematical Structures in Computer Science. 31:979-1002

مصطلحات موضوعية: Pure mathematics, Presheaf, Mathematics - Logic, Intuitionistic logic, Constructive, Computer Science Applications, Mathematics (miscellaneous), Type theory, Grothendieck topology, Mathematics::Category Theory, FOS: Mathematics, Sheaf, Logic (math.LO), Computer Science::Databases, Transfinite number, Descent (mathematics), Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3be0e41b616f3cad6037024cc82e58a3
https://doi.org/10.1017/s0960129521000359

المؤلفون: Ghilardi, Silvio

المساهمون: A. Citkin, I.M. Vandoulakis, S. Ghilardi

مصطلحات موضوعية: Quantified modal logic, Presheaf semantic, Invariance modality, Ultrapowers, Settore MAT/01 - Logica Matematica

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-031-06842-3; info:eu-repo/semantics/altIdentifier/isbn/978-3-031-06843-0; ispartofbook:V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics; volume:24; firstpage:165; lastpage:175; numberofpages:11; serie:OUTSTANDING CONTRIBUTIONS TO LOGIC; alleditors:A. Citkin, I.M. Vandoulakis; https://hdl.handle.net/2434/945432; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85142141170

الاتاحة: https://hdl.handle.net/2434/945432
https://doi.org/10.1007/978-3-031-06843-0_6