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