КГТА семинар, 30. јануар 2018.

Наредни састанак Семинара биће одржан у уторак, 30. јануара 2018, у сали 844 Математичког факултета са почетком у 14 часова.

Предавач: Бранко Николић, Macquarie University, Sydney


Апстракт: We give a short introduction to basics of (enriched) category theory. When the base of enrichment is a monoidal category that is in fact a poset (aka quantale), the definition of an enriched category becomes simpler. We consider two particular quantales consisting of positive real numbers. Categories enriched in the first are generalized metric spaces [1]. The categories enriched in the second can be interpreted as causal preorders that remember intervals (times) between time-like events [2]. Modules between enriched categories enable expressing Cauchy completeness of metric spaces in purely categorical terms; in this sense all event spaces are Cauchy complete. We give sufficient conditions on a monoidal category that ensure that an enriched category is Cauchy complete if and only if idempotents split in its underlying category.

[1] Lawvere, F. W. Metric spaces, generalized logic, and closed categories. Rendiconti del Seminario Matematico e Fisico di Milano 43, 1 (1973), 135–166.
[2] Nikolić, B. Cauchy completeness and causal spaces. arXiv:1712.00560v1 [math.CT] (2017)

Оставите ваш коментар:

(неће бити приказано)

Вести и дешавања

Активности на семинарима

све вести