Fosco Loregian

Ein vereinfachter Blick auf zwei zentrale Konzepte in der Kategorientheorie.

Ein vereinfachter Blick auf Automaten und ihre mathematischen Grundlagen.

Ein Blick auf das Konzept und die Anwendungen von Fibrationen in der Mathematik.

Untersuchung der Rolle der propositionalen Gleichheit in der Typentheorie und ihrer Implikationen.