polje: matematika
grana: matematička analiza
projekt: matematika_rest
funktor $(F_0,F_1)$ kojemu je njegov dio na morfizmima $F_1$ injekcija