Gabriel Goren-Roig --- Arboreal Adjunctions from Shapes.

Gabriel Goren-Roig --- Arboreal Adjunctions from Shapes.

by Gabriel Goren-Roig

Formal & Physical Sciences Mathematics PBMathematicsPBFAlgebra
🎙 Gabriel Goren-Roig 👥 1K 📅 April 22, 2026 ⏱ 83 min 👁 82 📄 original study 🧭 2026-08-16
Available in: English (current) Français

Keywords

arboreal adjunctionshapestree unravelingbisimilaritycomonad

Summary

The talk presents a general method for constructing arboreal adjunctions from a chosen class of shapes in a category of models. The speaker begins with an intuitive example of graphs with colored edges, explaining how the unraveling construction yields a tree that is bisimilar to the original graph. He then generalizes this by considering shapes as pointed objects, leading to shape-labeled trees. The main results state that the category of shape-labeled trees is arboreal under certain conditions, and that a realization functor can be defined, yielding a comonadic adjunction. The framework aims to unify and generalize existing arboreal adjunctions for various logics, such as basic modal logic. The talk is technical, assuming familiarity with category theory, and is part of ongoing joint work with Tomáš Jakl and Luca Reggio.

129 words

Critical Evaluation

Value of the Information & Strength of the Argument

The talk provides a novel and systematic approach to constructing arboreal adjunctions, which is a significant contribution to the field of categorical semantics. The argumentation is clear and well-structured, starting from concrete examples and gradually abstracting to general definitions. The speaker effectively motivates the need for a general framework and demonstrates how the construction works. The presentation is rigorous, with careful attention to technical conditions, though some details are left for the written paper.

Scientific Rigor, Source Quality, Title Accuracy

The talk is based on original research, with joint work with Tomáš Jakl and Luca Reggio. The speaker references classical concepts like tree unraveling and bisimilarity, but does not provide explicit citations during the talk. The title accurately reflects the content. The talk is a seminar presentation, so it lacks formal peer review, but the mathematical content appears sound and well-motivated.

150 words

Title / Content Match

The title accurately reflects the content, focusing on the construction of arboreal adjunctions from shapes.

Quality & Reliability

8/10

The talk presents original research in category theory, with a clear abstract and joint work with established researchers. The presentation is rigorous, but as a seminar talk, it lacks peer review and full formal details.

Key Moments

Markers derived by PSI from the transcript: the creator did not define chapters.

Cited Sources

Concurring Sources

Contribution & Novelties

The talk presents a novel framework for constructing arboreal adjunctions from arbitrary categories of shapes, generalizing existing constructions for specific logics. This provides a systematic method to obtain comonadic semantics for a wide range of logical systems. The approach is original and opens new avenues for research in categorical logic.

Pour aller plus loin :

  • Arboreal categories — Background on arboreal categories.
  • Comonadic semantics — Overview of comonadic semantics in logic.
  • Modal logic — Basics of modal logic, relevant to the motivating example.

83 words

Radar Profile

The radar profile shows high scores in information quality and technical level, with slightly lower scores in quantity and reliability, reflecting the depth and originality of the research but the lack of formal publication.

Reliability 8/10