The first aim of this thesis is to give a unified and self-contained treatment of a number of known results related to the theory of herds. This gives us the technical tools to deal with the second aim of our work which is to obtain some new results about herds and coherds in the pure categorical setting. A herd at this level is a pretorsor τ : Q → QPQ satisfying associativity and unitality properties with respect to a formal dual structure M = (A, B, P,Q, σᴬ, σᴮ) ....

Herds and Coherds

2011

Abstract

The first aim of this thesis is to give a unified and self-contained treatment of a number of known results related to the theory of herds. This gives us the technical tools to deal with the second aim of our work which is to obtain some new results about herds and coherds in the pure categorical setting. A herd at this level is a pretorsor τ : Q → QPQ satisfying associativity and unitality properties with respect to a formal dual structure M = (A, B, P,Q, σᴬ, σᴮ) ....
2011
Italiano
MENINI, Claudia
FABBRI, Paolo
Università degli Studi di Ferrara
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14242/144567
Il codice NBN di questa tesi è URN:NBN:IT:UNIFE-144567