You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
ww (Nov 01 2021 at 10:07):Not sure if this is quite the right place for this but...
Date and time: Friday November 5, 2021, 15:00 CET
Title: GReTA-ExACT: towards Executable Applied Category Theory
Speaker:
Nicolas Behr (Université de Paris, CNRS, IRIF, France)
Abstract:
This talk marks the beginning of GReTA-ExACT, a new online working group within the GReTA community. The aim of this working group will consist in providing an interdisciplinary forum for exploring the diverse aspects of applied category theory relevant in graph transformation systems and their generalizations, in developing a methodology for formalizing diagrammatic proofs as relevant in rewriting theories via proof assistants such as Coq, and in establishing a community-driven wiki system and repository for mathematical knowledge in our research field (akin to a domain-specific Coq-enabled variant of the nLab). A further research question will consist in exploring the possibility for deriving reference prototype implementations of concrete rewriting systems (e.g., over multi- or simple directed graphs) directly from the category-theoretical semantics, in the spirit of the translation-based approaches as in [1],[2] (utilizing theorem provers such as Microsoft Z3).
In the first part of this talk, I will provide an illustrated tour of broad scope of mathematical concepts in modern categorical rewriting theories, ranging over the definitions of Double-Pushout (DPO) and Sesqui-Pushout (SqPO) semantics to the notions of concurrency and associativity theorems, their proofs (illustrating a particular type of diagrammatic reasoning on commutative diagrams), the theory of tracelets, their Hopf algebras and decomposition spaces, certain concepts of opfibrations and finally double-categorical structures that are currently under active investigation (joint work with Paul-André Melliès and Noam Zeilberger). In the second part of the talk, I will outline a proposal for the new GReTA-ExACT online working group format.
References:
[1] R. Heckel, L. Lambers, M.G. Saadat, "Analysis of Graph Transformation Systems: Native vs Translation-based Techniques", EPTCS 309, 2019, pp. 1-22. http://dx.doi.org/10.4204/EPTCS.309.1
[2] N. Behr, R. Heckel, M.G. Saadat, "Efficient Computation of Graph Overlaps for Rule Composition: Theory and Z3 Prototyping", EPTCS 330, 2020, pp. 126–144. http://dx.doi.org/10.4204/EPTCS.330.8
Zoom registration link:
https://u-paris.zoom.us/meeting/register/tZwrcuGoqT4qGd1HCZQnhptpmt0aTiWdDF67
Link to YouTube live stream:
https://youtu.be/tx0asw82EXU