Centre for Mathematics, University of Coimbra - Finitely presentable algebras for finitary monads

Finitely presentable algebras for finitary monads

Description:

A variety of algebras is nothing else than the category of algebras of a finitary monad on Set, and, in this case, an algebra A is finitely presentable if it can be presented by a finite set of generators and a finite set of equations. We generalize this to finitary regular monads on locally finitely presentable categories.

This is based on joint work with J. Adamek, S. Milius and T. Wissmann, recently published as paper 37 in Vol. 34 of the Theory and Applications of Categories.

Date:

2019-12-17

Start Time:

15:00

Speaker:

Lurdes Sousa (CMUC and IP Viseu)

Institution:

Instituto Politécnico de Viseu

Place:

Sala 5.5

Research Groups:

-Algebra, Logic and Topology

See more:

<Main>

Attached Files

File	Description
Poster

One register found.1