Notes, Drafts, Talks

🎀 Bicategorical Automata

Bicategories of automata, automata in bicategories

πŸ“ Chu Reading Group Talk (Part 1)

a hint of Chu

πŸ“ Chu Reading Group Talk (Part 2)

The couniversal property of the Chu construction

🎀 Cohesive toposes in Rome

A talk @Sapy on Lawvere's axiomatic cohesion.

🎀 CT24 Slides

Bicategories for automata theory

🎀 Differential 2-Rigs

Differential 2-rigs

🎀 ItaCa22 – Pisa Talk

A few remarks on the fibration of algebras

πŸ“ FibLang – TallCats Talk

Fibrational linguistics

🎀 Fibrations of Algebra – Udine

On the Fibration of Algebras (ad usum AILA)

🎀 Fibrations of Algebras – Ferrara

On the Fibration of Algebras (ad usum Hopf algebraists)

🎀 Partial Lawvere theories Talk – Torino

Functorial semantics for partial theories

🎀 Coend calculus – ItaCa19 Talk

The art of $\int$

🎀 Higher Arity Coends – ItaCa20 Talk

Coends of higher arity

🎀 ItaCa23 – Torino Talk

A Tale of Bicategories, with a hint of British prog

🎀 ItaCa24 – Padova Talk

Teoria degli automi differenziali

🎀 Talk differential 2-rigs – Lille

2-(commutative algebra) in a nutshell

πŸ“ ProSem Beamer

Profunctorial Semantics I

πŸ“š Reference card

Kan Extensions

πŸ“š Reference card

Monoidal Derivators

πŸ“ Tanguy Beamer

From combinatorial species to general differential 2-rigs

🎀 Unicity Talk – Brussels

On the unicity of the formal theory of categories

🎀 Walters Tribute Talk

Street-Walters-Yoneda structures

πŸ“š CoG-GoC

Categories of Geometry / Geometry of Categories.

πŸ“š Grothendieck's pursuite des catΓ©gories test

A lecture on Grothendieck's Pursuing stacks origin.

πŸ“ PhD Thesis

πŸ“š Tools I

πŸ“š Tools II

πŸ“š Tools III

Magia Mathematica

πŸ“„ Aurea catena homeri

A document exploring the golden principles.

πŸ“„ 道德碓

The first note on category theory ever written.

πŸ“„ De Magia Mathematica

On the mathematical aspects of magic and numerology.

πŸ“„ Ovum Zoroastreum

An alchemical perspective on the universal egg.

πŸ“„ Mystic sunflower

Athanasius Kircher from 'Oedipvs Aegyptiacvs'.

πŸ“„ Poema I

First in a collection of poetic writings.

πŸ“„ Poema II

A continuation of the poetic journey.

πŸ“„ Rumi Booklet

A collection of Rumi.