Itaca Fest 2025
ItaCa Fest is an online webinar aimed to gather the community of ItaCa.
The seminar will be live on Zoom at this link. The time is: 3pm Italian time.
Here the list of seminars
April 15, 2025
| Time | Speaker | Affiliation | Talk | Material |
|---|---|---|---|---|
| 15:00 | Z. Janelidze | TBA | ||
| 15:30 | Questions Time | |||
| 15:40 | N. Martins-Ferreira | Categorical Analysis of MATLAB and Octave Programming Functions | ||
| 16:10 | Questions Time | |||
| 16:20 | X. G. Martínez | A universal Kaluzhnin-Krasner embedding theorem | ||
| 16:50 | Questions Time | |||
| 17:00 | Free Chat | |||
Zurab Janelidze
TBA
Nelson Martins-Ferreira
Categorical Analysis of MATLAB and Octave Programming Functions
In this talk, we introduce a category that models programming languages with complex-valued matrices as default variables, focusing on MATLAB and Octave. We demonstrate how indexation in these languages corresponds to function composition and analyze the categorical behavior of built-in functions such as unique, ismember, sortrows, and sparse.
We then explore a procedure to transform arbitrary graphs, represented as pairs of complex-valued matrices in MATLAB and Octave, into an indexed structure with a surjective index for the domain matrix. Finally, we discuss the implementation of a programming function exhibiting categorical behavior akin to a coequalizer. This work is motivated by some ideas and results from [1,2].
[1] N. Martins-Ferreira, Internal Categorical Structures and Their Applications, Mathematics (2023) 11(3), 660; https://doi.org/10.3390/math11030660
[2] N. Martins-Ferreira, On the Structure of an Internal Groupoid, Applied Categorical Structures (2023) 31:39 https://doi.org/10.1007/s10485-023-09740-1
Xabier García Martínez
A universal Kaluzhnin-Krasner embedding theorem
Given two groups $A$ and $B$, the \emph{Kaluzhnin--Krasner universal embedding theorem} states that the wreath product $A\wr B$ acts as a universal receptacle for extensions from $A$ to $B$. For a split extension, this embedding is compatible with the canonical splitting of the wreath product, which is further universal in a precise sense. This result was recently extended to Lie algebras and cocommutative Hopf algebras.
In this talk we will explore the feasibility of adapting the theorem to other types of algebraic structures. By explaining the underlying unity of the three known cases, our analysis gives necessary and sufficient conditions for this to happen.
We will also see that the theorem cannot be adapted to a wide range of categories, such as loops, associative algebras, commutative algebras or Jordan algebras. Working over an infinite field, we may prove that amongst non-associative algebras, only Lie algebras admit a Kaluzhnin--Krasner theorem.
Joint work with Bo Shan Deval and Tim Van der Linden
May 20, 2025
| Time | Speaker | Affiliation | Talk | Material |
|---|---|---|---|---|
| 15:00 | P. Lumsdaine | TBA | ||
| 15:30 | Questions Time | |||
| 15:40 | S. Ranchod | TBA | ||
| 16:10 | Questions Time | |||
| 16:20 | P. Donato | TBA | ||
| 16:50 | Questions Time | |||
| 17:00 | Free Chat | |||
Peter Lumsdaine
TBA
Sanjiv Ranchod
TBA
Pablo Donato
TBA
June 20, 2025
| Time | Speaker | Affiliation | Talk | Material |
|---|---|---|---|---|
| 15:00 | U. Schreiber | TBA | ||
| 15:30 | Questions Time | |||
| 15:40 | V. Sosnilo | TBA | ||
| 16:10 | Questions Time | |||
| 16:20 | F. Pratali | TBA | ||
| 16:50 | Questions Time | |||
| 17:00 | Free Chat | |||
Urs Schreiber
TBA
Vova Sosnilo
TBA
Francesca Pratali
TBA
September 23, 2025
| Time | Speaker | Affiliation | Talk | Material |
|---|---|---|---|---|
| 15:00 | B. M. Bumpus | TBA | ||
| 15:30 | Questions Time | |||
| 15:40 | R. Van Belle | TBA | ||
| 16:10 | Questions Time | |||
| 16:20 | V. Iwaniack | TBA | ||
| 16:50 | Questions Time | |||
| 17:00 | Free Chat | |||
Benjamin Merlin Bumpus
TBA
Ruben Van Belle
TBA
Victor Iwaniack
TBA
October 21, 2025
| Time | Speaker | Affiliation | Talk | Material |
|---|---|---|---|---|
| 15:00 | C. Vasilakopoulou | TBA | ||
| 15:30 | Questions Time | |||
| 15:40 | S. Fujii | TBA | ||
| 16:10 | Questions Time | |||
| 16:20 | N. Arkor | Tallinn University of Technology | TBA | |
| 16:50 | Questions Time | |||
| 17:00 | Free Chat | |||
Christina Vasilakopoulou
TBA
Soichiro Fujii
TBA
Nathanael Arkor
TBA
November 18, 2025
| Time | Speaker | Affiliation | Talk | Material |
|---|---|---|---|---|
| 15:00 | P. Taylor | TBA | ||
| 15:30 | Questions Time | |||
| 15:40 | U. Tarantino | TBA | ||
| 16:10 | Questions Time | |||
| 16:20 | A. D'Agnolo | TBA | ||
| 16:50 | Questions Time | |||
| 17:00 | Free Chat | |||
Paul Taylor
TBA
Umberto Tarantino
TBA
Andrea D'Agnolo
TBA