Categorie: introduzione

Mario Puppi
19 settembre 2019

Due sono i temi che ricorrono ripetutamente nelle appli-

cazioni della teoria delle categorie: la sematica funtoriale e la
componibilità. Parliamo prima della prima.

Semantica funtoriale
La semantica funtoriale si basa sul concetto di funtore tra
due categorie, pensato come un collegamento che conserva la
struttura
F∶C→D
può essere visto come un’interpretazione di C dentro alla E’ così che Lawvere e Scha-
categoria D. It’s often helpful to think of C as somehow en- nuel definiscono il “funtore” in
coding for syntax while D provides semantics. Syntax refers Conceptual Mathematics
to rules for putting things together and semantics refers to the
meaning of those things. A functor

F ∶ Sintassi → Semantica

provides a way to bring the syntax to life.

To get a better idea of syntax vs. semantics, think of the
English language where two important features of communica-
tion are:

1. grammar, which provides rules for combining words to

form sentences, and

2. the actual meaning conveyed by those words and senten-

ces.
I’m using English language as
Grammar is the syntax, and the meaning is the semantics. an analogy to illustrate syntax
vs. semantics, but it’s more
than an analogy!
Of course, neither is useful on their own. For instance,
it’s easy to come up with a sentence that is grammatically
correct and yet has no meaning. The point here is that syntax
vs. semantics is nothing new. So when an applied category

1
 theorist wants to model some phenomena in the “real world,”
don’t be surprised if their model is ultimately a functor from
a syntax category to a semantics category!

Esempio 1. Monoide Un monoide è l’immagine di un funto-

re da una certa categoria (sintassi) a una certa altra categoria
(semantica)

Tecnicamente, un monoide è un funtore lax monoidale tra

le due categorie:

Un funtore F ∶ C → D tra cate-

gorie monoidali è detto lax mo- Le due categorie 1, Set sono delle categorie monoidali: 1
noidale se per ogni coppia di è la categoria with one object and only one morphism (the
oggetti c, c ∈ C c’è un mor- identity), e ha un unico modo di essere categoria monoidale.
′

fismo Fc ⊗ Fc → F(c ⊗ c ) Set, la categoria degli inisemi, prende la struttrura monoidale

′ ′

which assembles into a natural dal prodotto cartesiano come prodotto tensoriale, con l’insieme
transformation. costituito da un unico elemento: {∗} come unità monoidale.

Secondo teorema di omomorfismo

numeri naturali. Conoscere il valore di lsp(x) e di lsp(y) non
è abbastanza per calcolare il valore di lsp(x#y). Funzioni
come lsp, che sono calcolabili da destra a sinistra, sono dette
leftward. Analogamente, le funzioni calcolabili da sinistra a
destra sono dette rightward.

Proposizione 1. Se la funzione h ∶ List A → B è un omo-

morfismo allora è sia leftward che rightward. Precisamente,
La teoria delle categorie è come siano f ∶ A → B, ⊕ ∶ B × B → B
un cappuccino, mentre la
disciplina a cui si applica è come
un cornetto, che può essere alla L’immersione di Yoneda
crema, marmellata, cioccolato,
... La prospettiva di Yoneda è che, in una categoria

Asserzione 1. An object is completely determined by its rela-

tionships to other objects,

But this left us wondering, What are the mathematics be-

hind this idea? We’ll work to discover the answers. To begin,
let’s put concrete math behind le due espressioni astratte:

• . . . una relazione tra due oggetti . . .

• . . . an object is completely characterized by . . .

We’ll unwind le due espressioni one by one.

2
Asserzione 2. Una relationship between two objects A, B è un
morfismo f ∶ A → B.

Possiamo riformulare l’espressione An object is completely

determined by its relationships to other objects dicendo che
ogni oggetto della categoria è determinato dalle sue relazioni
con tutti gli oggetti della categoria. Analizzare un oggetto X
significa tenere traccia di tutte le relazioni tra X e ogni altro
oggetto nella categoria