Members    Seminars    Reports     Guests    Links    Addresses    Events    PCS    SUMTOPO2024    Main



2010 - 2009 - 2008 - 2007 - 2006 - 2005 - 2004 - 2003 - 2002 - 2001 - 2000 - 1999 - 1998 - 1997 - 1996 - 1995 - 1994 -


2024


October 22, 16:00
Diana Rodelo (CMUC and Univ. Algarve)
TBA



October 22, 15:00
Maria Manuel Clementino (CMUC, Univ. Coimbra)
Right-preordered groups from a categorical perspective



September 24, 16:00
Anna Laura Suarez (CMUC, Univ. Coimbra)
Pointfree theories of T0 spaces



September 24, 15:00
Brett McLean (Ghent Univ., Belgium)
Some recent results on algebras of partial functions



June 27, 11:00
Herman Goulet-Ouellet (Czech Technical University, Prague)
Density of group languages in shift spaces



June 4, 16:00
Maria João Gouveia (CEMAT, Univ. Lisboa)
More than perfect but not perfect enough



June 4, 15:00
Ana Catarina Monteiro (CEMAT, Univ. Lisboa)
i-Fitting-Formations on Clifford semigroups



March 19, 15:00
Dirk Hofmann (CIDMA, Univ. Aveiro)
Predicate liftings and lax extensions of functors



March 19, 16:00
Lurdes Sousa (CMUC and IP Viseu)
An adjoint theorem for finitary functors



February 27, 14:30
Rui Prezado (CMUC, Univ. Coimbra)
The dichotomy between enriched and internal categorical structures



February 27, 15:30
Maria Manuel Clementino (CMUC, Univ. Coimbra)
Effective descent morphisms of Ord//X, revisited



January 16, 15:30
Graham Manuell (CMUC, Univ. Coimbra)
Adjoint split extensions and 2-dimensional protomodularity



January 16, 14:30
Joshua Wrigley (Univ. degli Studi dell'Insubria, Como, Italy)
A bi-equivalence for topoi with enough points



January 9, 15:00
Rui Soares Barbosa (Iberian Nanotechnology Laboratory, Braga)
Duality for transitive partial CABAs



January 9, 16:00
Fernando Lucatelli Nunes (Utrecht Univ. & CMUC)
Unraveling the iterative chad



2023


December 6, 15:00
Alex Patchkoria (A. Razmadze Math. Institute, Tbilisi State Univ., Georgia)
On derived functors of semimodule-valued functors



December 5, 16:00
Graham Manuell (CMUC, Univ. Coimbra)
Uniform completions via Cauchy sequences



December 5, 15:00
Raquel Bernardes (CMUC, Univ. Coimbra)
Induced congruences in σ-frames



November 14, 16:00
Manuela Sobral (CMUC, Univ. Coimbra)
More on descent theory of closure spaces and related remarks



November 14, 15:00
Mykola Khrypchenko (Univ. Porto)
Inverse semigroup cohomology and crossed module extensions of semilattices of groups by inverse semigroups



September 5, 16:00
Norihido Yamada (Univ. do Minho)
Topology and topoi via internal groupoids



September 5, 15:00
Sophie Marques (Stellenbosch Univ., South Africa)
Exploring polynomial equations through Field Theory



May 30, 16:00
Nelson Martins-Ferreira (IP Leiria)
A new characterization of internal groupoids



May 30, 15:00
Renato Neves (Univ. Minho)
Higher-order quantitative equational theories



April 26, 16:15
Maria Manuel Clementino (CMUC, Univ. Coimbra)
The lax comma category Cat//X



April 26, 15:30
Graham Manuell (CMUC, Univ. Coimbra)
The localic groupoid classifying a geometric theory



March 14, 15:00
Luca Reggio (University College London, UK)
Polyadic sets and unnatural isomorphisms



February 23, 11:00
Joshua Wrigley (Universit degli Studi dell'Insubria, Como, Italy)
When are there enough isomorphisms? Representing theories by groupoids of models



January 24, 16:00
Célia Borlido (CMUC, Univ. Coimbra)
Pervin spaces and Frith frames: bitopological aspects and completion



January 24, 15:00
Dirk Hofmann (CIDMA, Univ. Aveiro)
Some aspects of enriched completely distributive lattices



2022


December 19, 16:00
Fernando Lucatelli Nunes (Universiteit Utrecht and CMUC)
Descent for split fibrations



December 19, 15:00
Maria Manuel Clementino (CMUC, Univ. Coimbra)
On lax comma categories of ordered sets



November 15, 15:30
Graham Manuell (CMUC, Univ. Coimbra)
Taking verifiability seriously



November 14, 14:30
Alfredo Costa (CMUC, Univ. Coimbra)
Profinite codes



October 18, 16:00
Maria Manuel Clementino (CMUC, Univ. Coimbra)
On split extensions of preordered groups



October 18, 15:00
Diana Rodelo (CMUC & Univ. Algarve)
J nsson categories



September 13, 16:00
Geoff Cruttwell (Mount Allison University, Canada)
Algebraic geometry and tangent categories



September 13, 15:00
James Gray (Stellenbosch University, South Africa)
On categorical conditions in the semi-abelian context



July 26, 16:00
Paolo Perrone (University of Oxford, UK)
When measurable spaces don't have enough points



July 26, 15:00
Matías Menni (Universidad Nacional de La Plata, Argentina)
The definition of pre-cohesive map in perspective



July 21, 16:00
Graham Manuell (CMUC, Univ. Coimbra)
Artin glueings as semidirect products



July 21, 15:00
Charles Walker (Masaryk Univ., Brno, Czech Republic)
Terms and derivatives of polynomial functors via negation



May 24, 16:00
Martin Szyld (Dalhousie University, Canada)
An invitation to double categories and double fibrations



May 24, 15:00
Tim Van der Linden (Universit Catholique de Louvain, Belgium)
Associativity and the co-smash product



April 13, 15:00
John Bourke (Masaryk Univ., Brno, Czech Republic)
Weak adjoints and colimits in the homotopically enriched setting



April 5, 16:00
Anna Laura Suarez (Universit C te d'Azur, France)
Sublocales of the frame of fitted sublocales



April 5, 15:00
Zurab Janelidze (Stellenbosch Univ., South Africa)
In search for an algebraically sound notion of a subobject in the dual of a topos



March 29, 16:00
Nelson Martins-Ferreira (IP Leiria)
Semibiproducts of magmas and semigroups



March 29, 15:00
Célia Borlido (CMUC, Univ. Coimbra)
A discrete duality for algebras of partial functions for a foundational signature



March 22, 16:00
Alberto Facchini (Universit di Padova, Italy)
Multiplicative lattices, groups, braces



March 22, 15:00
George Janelidze (University of Cape Town, South Africa)
Central extensions of associative algebras



February 15, 16:00
Walter Tholen (York University, Toronto, Canada)
Topology for internal pre-orders: focus on complete regularity



January 25, 16:00
André Carvalho (Univ. Porto, Portugal)
Endomorphisms of hyperbolic groups



January 25, 15:00
Jirí Rosick (Masaryk Univ., Brno, Czech Republic)
Weak factorization systems in locally presentable categories



January 24, 16:00
Ana Belén Avilez (PhD student, CMUC)
The notion of farness in uniform frames and its underlying Galois adjunction



January 24, 15:00
Alfredo Costa (CMUC, Univ. Coimbra)
The two-sided Karnofsky-Rhodes expansion of a semigroup



2021


December 7, 16:00
Lurdes Sousa (CMUC and IP Viseu)
Lax epimorphisms and the associated factorization



December 7, 15:00
Jirí Adámek (Technische Universit t Braunschweig, Germany)
Monads on the category of metric spaces



November 30, 16:00
Herman Goulet-Ouellet (PhD student, CMUC)
When are epimorphisms of profinite groups surjective?



November 30, 15:00
Maria Manuel Clementino (CMUC)
Studying topology via ultrafilter convergence, categorically



November 23, 16:00
Igor Arrieta (PhD student, CMUC)
A new diagonal separation and its relations with the Hausdorff property



November 23, 15:00
Michael Kinyon (University of Denver, USA)
The AIM Conjecture



October 28, 16:00
Graham Manuell (CMUC)
Monoid extensions and the Grothendieck construction



October 28, 15:00
Carlos Fitas (PhD student, CMUC)
Submonads of the presheaf monad and their algebras



October 12, 16:00
John Bourke (Masaryk Univ., Czech Republic)
An orthogonal approach to algebraic weak factorisation systems



October 12, 15:00
Cyrille Sandry Simeu (UCLouvain, Belgium)
On the ternary commutator I: Exact Mal'tsev categories



September 21, 16:00
Rui Prezado (PhD student, CMUC)
Effective descent in internal multicategories



September 21, 15:00
Raquel Bernardes (PhD student, CMUC)
Point-free measures: a localic approach to measure theory



September 14, 16:00
Michael Hoefnagel (Stellenbosch Univ., South Africa)
Deciding implications of matrix properties



September 14, 15:00
Anna Laura Suarez (Universit C te d'Azur, France)
Esakia duality and its connection with pointfree Pervin spaces



July 20, 16:00
Florence Sterck (UCLouvain, Louvain-la-Neuve)
Split extensions of bialgebras



July 20, 15:00
Leonardo Larizza (PhD student, CMUC)
Lax factorisation systems and categories of partial maps



July 15, 16:00
Jorge Picado (CMUC)
Continuity of localic maps and localization morphisms



July 15, 15:00
Manuela Sobral (CMUC)
Preordered actions of preordered monoids



June 22, 16:00
Maria Manuel Clementino (CMUC)
Generalized quantale-enriched categories: a digression



June 22, 15:00
Célia Borlido (CMUC)
The category of Frith frames



June 15, 16:00
Tom Leinster (University of Edinburgh, Scotland)
The reflexive completion in context



June 15, 15:00
James Gray (Stellenbosch Univ., South Africa)
The first cohomology object in semi-abelian categories



May 25, 16:00
Tim Van der Linden (UCLouvain, Belgium)
Categorical aspects of the non-abelian tensor product



May 25, 15:00
Dominique Bourn (Universit du Littoral, Calais, France)
Congruence modular variety and algebraic crystallography



May 18, 16:00
Igor Arrieta (CMUC)
A new diagonal separation and its relations with the Hausdorff property



May 18, 15:00
Graham Manuell (CMUC)
Uniform locales and their constructive aspects



April 13, 16:00
Tara Brough (NOVA Univ. of Lisbon)
Context-free word problem semigroups



April 13, 15:00
Jiri Adámek (Technische Universit t Braunschweig, Germany)
Algebraically cocomplete categories



March 23, 16:00
Graham Manuell (CMUC, Univ. Coimbra)
Zariski-type spectra of localic ring-like structures



March 23, 15:00
Alberto Facchini (Universit di Padova, Italy)
Minimal sets of generators



February 23, 16:00
Paolo Perrone (University of Oxford, UK)
Partial evaluations for monads and 2-monads



February 23, 15:00
Walter Tholen (York University, Toronto, Canada)
Colimits



January 19, 16:00
Tim Van der Linden (UCLouvain, Belgium)
On the 3x3x3-Lemma



January 19, 15:00
George Janelidze (Univ. Cape Town, South Africa)
Abstract and concrete spectral spaces



January 05, 16:00
Peter Faul (Univ. Cambridge, UK)
Relaxed actions of monoids: Towards a new cohomology theory



January 05, 15:00
Tamar Janelidze-Gray (Univ. Cape Town, South Africa)
A new approach to S-protomodular categories



2020


December 2, 16:00
Imanol Mozo Carollo (Univ. of the Basque Country, Bilbao, Spain)
Sublocales as parts



December 2, 15:00
Ana Belén Avilez (PhD student, CMUC)
Characterizations of normality given by C-, C*- and z-embedded sublocales<



November 10, 15:00
David Neal Broodryk (University of Cape Town, South Africa)
Characterization of coextensive varieties of universal algebras



November 10, 15:00
Marino Gran (UCLouvain, Belgium)
Pretorsion theories and internal preorders



October 13, 16:00
Zurab Janelidze (Stellenbosch University, South Africa)
The theory of exactness properties: recent developments and work in progress



September 15, 17:00
Mark Lawson (Heriot-Watt University, UK)
The polycyclic inverse monoids and the Thompson groupsrevisited



September 15, 16:00
Alfredo Costa (CMUC, Univ. Coimbra)
The Karoubi envelope of the mirage of a subshift



July 14, 16:00
Igor Arrieta Torres (PhD Student, CMUC)
Discrete covers of locales



July 14, 15:00
Giuseppe Metere (Univ. degli Studi di Palermo, Italy)
Some fibrational properties of normal monomorphisms



June 30, 16:00
Charles Walker (Masaryk University, Czech Republic)
Characterizations of lax orthogonal factorization systems



June 30, 15:00
Marcelo Fiore (University of Cambridge, UK)
Tensors of KZ-algebras



June 2, 16:00
David Jaz Myers (Johns Hopkins University, USA)
Double categories of open dynamical systems



June 2, 15:00
Andrea Montoli (Univ. degli Studi di Milano, Italy)
Intrinsic Schreier split extensions and intrinsic Schreier special objects



May 5, 16:00
Nelson Martins-Ferreira (IP Leiria, CDRSP)
Actions of preordered monoids and their associated extensions



May 5, 15:00
Maria Manuel Clementino (CMUC, Univ. Coimbra)
From preordered groups to quantale-enriched groups



Febuary 18, 16:00
Dirk Hofmann (Univ. Aveiro)
Enriched Priestley spaces



Febuary 18, 15:00
Anna Laura Suarez (Univ. Birmingham, UK)
Revisiting the relation between subspaces and sublocales



January 31, 16:00
Idriss Tchoffo Nguefeu (UCLouvain, Belgium)
Categorical aspects of congruence distributivity



January 31, 15:00
Diana Rodelo (CMUC and Univ. Algarve)
On difunctionality of class relations



2019


December 17, 15:00
Lurdes Sousa CMUC and IP Viseu
Finitely presentable algebras for finitary monads



November 19, 16:00
Jorge Almeida (CMUP, Univ. Porto)
Stone pseudovarieties



November 19, 15:00
Florence Sterck (Universit catholique de Louvain, Belgium)
Split extensions of monoids and Hopf algebras



October 15, 15:30
Eros Martinelli (CIDMA, Univ. Aveiro)
Injectives via actions or: How I learned to stop worrying and love quantales



October 15, 14:30
Fernando Lucatelli Nunes (CMUC, Univ. Coimbra)
Functorial semantics and descent II



July 26, 14:30
Talks by Célia Borlido, Leonardo Larizza, Fosco Loregian and Willian Ribeiro
Informal ALT seminar



April 23, 15:30
Nelson Martins Ferreira (CDRSP, ESTG, IP Leiria)
Crossed semimodules of cancellative conjugation monoids



April 23, 14:30
Jirí Adámek (Tech. Univ. Braunschweig, Germany)
On colimit-dense subcategories



March 26, 15:00
Cristina Sernadas (CMAFcIO, Univ. Lisboa)
Decidability of first-order theories



(informal seminar)
February 19, 14:30
Fernando Lucatelli Nunes (CMUC, Univ. Coimbra)
On monadicity and descent



February 12, 15:30
Lurdes Sousa (CMUC and IP Viseu)
Order-enriched solid functors



February 12, 14:30
Andrea Montoli (Univ. degli Studi di Milano, Italy)
On the classification of Schreier extensions of monoids with non-abelian kernel



(informal seminar)
January 30, 14:30
Leonardo Larizza (CMUC, Univ. Coimbra)
Lax orthogonal factorisation systems



January 22, 15:30
Jorge Picado (CMUC, Univ. Coimbra)
Axiom TD and the Simmons sublocale theorem



January 22, 14:30
Pedro Resende (CAMGSD, Univ. Lisboa)
From quantum to quantales and beyond



2018


December 18, 15:30
Willian Ribeiro (PhD Student, CMUC)
Compactly generated (T,V)-spaces



December 18, 14:30
Fernando Lucatelli Nunes (CMUC, Univ. Coimbra)
Functorial semantics and descent



** POSTPONED **
November 23, 14:30
Cristina Sernadas (CMAFcIO, Univ. Lisboa )
Decidability of first-order theories



October 16, 15:30
Bj rn Gohla (GFM, Univ. Lisboa)
A categorical model for the Hopf fibration



October 16, 14:30
Theo A. D. Zapata (Univ. de Bras lia, Brazil)
Limit groups and their profinite completion



July 6, 11:30
C lia Borlido (Univ. Nice Sophia-Antipolis, France)
An Eilenberg-like Theorem beyond regular languages



June 29, 16:45
Fernando Lucatelli Nunes (CMUC)
Towards semi left exactness and Janelidze-Galois within the lax idempotent context



June 29, 15:30
Willian Ribeiro (CMUC)
On generating cartesian closed subcategories of (T,V)-Cat



June 29, 14:30
George Janelidze (Univ. Cape Town, South Africa)
Galois theory of graphs



April 17, 15:30
Alex Patchkoria (A. Razmadze Math. Institute of Tbilisi State Univ., Georgia)
On homology monoids of simplicial abelian monoids



April 17, 14:30
Andrea Montoli (Universit degli Studi di Milano, Italy)
The nine lemma in the S-Mal'tsev and in the S-protomodular settings



March 20, 15:30
Maria Manuel Clementino (CMUC)
Topological groups have representable internal actions



March 20, 14:30
Ivan Yudin (CMUC)
Rewriting systems and commutativity of diagrams



January 23, 16:00
Marco Mackaay (Univ. Algarve)
2-Representations of dihedral and trihedral Soergel bimodules



January 23, 15:00
Martin Hyland (Univ. of Cambridge, UK)
The category of Brouwer operations: a basis for an understanding of choice sequences



2017


November 21, 15:00
Tsugunori Nogura (Ehime Univ., Japan)
Continuous weak selections on compact-like spaces



September 12, 15:00
Ale Pultr (Charles Univ., Prague, Czech Republic)
Joins of closed sublocales, coframes of sublocales, and frames of sublocales



April 26, 11:30
Jir Ad mek (Tech. Univ. Braunschweig, Germany)
Corecursive algebras



April 11, 16:00
Tom Leinster (Univ. of Edinburgh, UK)
Magnitude homology



March 31, 15:00
Istv n Juh sz (Alfr d Renyi Inst. of Mathematics, Budapest, Hungary)
Resolvability of topological spaces



March 21, 15:30
Lurdes Sousa (CMUC, IP Viseu)
Interesting algebras between Kleisli and Eilenberg-Moore



March 21, 14:30
Andrea Montoli (Universit degli Studi di Milano, Italy)
On some categorical-algebraic condition in S-protomodular categories



January 30, 10:30
Martin Hyland (Univ. of Cambridge, UK)
Dual enrichment and Isbell Duality



2016


December 13, 14:30
Mathieu Duckerts-Antoine (CMUC)
How to centralize and normalize quandle extensions



November 15, 14:30
Dimitri Chikhladze (CMUC)
Monoidal categorical Galois theory



October 25, 16:00
Fernando Lucatelli Nunes (CMUC)
The deficiency of categories



May 17, 15:30
Lurdes Sousa (CMUC, IP Viseu)
Reflectivity and its logics



May 17, 14:30
Jorge Picado (CMUC)
The LEGO of localic maps



March 22, 15:30
Diana Rodelo (CMUC)
The Beck-Chevalley property for Goursat categories



March 22, 14:30
Tim Van der Linden (Universit Catholique de Louvain, Belgium)
Higher centrality via degenerate simplices



February 16, 14:30
Alex Patchkoria (A. Razmadze Math. Institute of Tbilisi State Univ., Georgia)
On a version of homological algebra in the category of semimodules and its applications



February 1, 14:30
Roger Picken (IST, Univ. Lisboa)
The action of a 2-group on a category and its application in higher gauge theory



2015


December 15, 14:30
Benjam n Alarc n Heredia (CMA, FCT-Univ. Nova Lisboa)
Homotopy theory of 2-categories



November 10, 14:30
Tim Van der Linden (Universit Catholique de Louvain, Belgium)
What is Nelson's admissibility condition?



November 10, 15:30
Andrea Montoli (CMUC)
A characterization of central extensions in the variety of quandles



October 13, 14:30
Fernando Lucatelli (CMUC)
Biadjoint triangles, descent and coherence



October 13, 15:30
Pedro Nora (Univ. Aveiro)
Functional representations of monads in duality theory



September 9, 14:30
Ales Pultr (Charles Univ., Prague, Czech Republic)
The meet formula for pseudocomplement and an aspect of the coframe of sublocales



July 7, 14:30
Wolfram Bentz (Univ. Lisboa)
Supernilpotent algebras are non-dualizable



July 7, 15:30
Alfredo Costa (CMUC)
The Karoubi envelope and the Sch tzenberger category of a semigroup



May 19, 14:30
Lurdes Sousa (IP Viseu and CMUC)
Kan-injectivity of locales and spaces



May 19, 15:30
Andrea Montoli (CMUC/Univ. Coimbra)
What is an ideal a zero-class of?



April 15, 14:30
Gracinda M.S. Gomes (DM- FCUL and CEMAT- FCUL, Univ. Lisboa)
Mon ides de Ehresmann



March 24, 15:30
Imanol Mozo Carollo (Univ. of the Basque Country, Bilbao, Spain)
The localic group of the unit circle



March 24, 14:30
Alan S. Cigoli (Universit degli Studi di Milano, Italy)
Peiffer product and Peiffer commutator for internal pre-crossed modules



January 13, 15:30
Andrea Montoli (CMUC)
On the "Smith is Huq" condition in S-protomodular categories



January 13, 14:30
Dirk Hofmann (Univ. Aveiro)
From ordered to metric compact Hausdorff spaces



2014


December 9, 14:30
Dimitri Chikhladze (CMUC)
Monoid theoretic approach to bicategorical structures



November 25, 15:30
Maria Manuel Clementino (CMUC/Univ. Coimbra)
On topological semi-abelian algebras: split extensions and their classifiers



November 25, 14:30
Mack Matlabyana (Univ. Limpopo, South Africa)
Quasi-F frames



October 28, 15:30
Manuela Sobral (CMUC)
Some remarks on descent for Priestley spaces



October 28, 14:30
Rachel A.D. Martins (IST/UL)
Involutive double categories



September 30, 15:30
Maria Manuel Clementino (CMUC)
Lax algebras as spaces



September 30, 14:30
Mathieu Duckerts-Antoine (CMUC)
Fundamental group functors and higher Hopf formulae



September 10, 14:30
Richard N. Ball (Univ. of Denver, USA)
Pointfree pointwise suprema in archimedean l-groups



July 10, 15:30
Maria Manuel Clementino (CMUC)
Lax orthogonal factorisation systems



July 10, 14:30
Margarida Carvalho (ISCAC)
Kan-injectivity in Top0 and Kan-projectivity in Frm



June 24, 14:30
Lurdes Sousa (CMUC and IP Viseu)
Towards a calculus of fractions concerning Kan-injectivity



May 20, 15:00
John Huerta (IST, Lisbon, Portugal)
Trigroups and M-theory



April 8, 15:30
Imanol Mozo Carollo (Univ. of the Basque Country, Bilbao, Spain)
Normal semicontinuous functions in pointfree topology and weak cb-frames



April 8, 14:30
Mack Matlabyana (Univ. of Limpopo, South Africa)
Normality and its weaker forms



March 18, 15:30
Nelson Martins Ferreira (CDRSP, ESTG, IP Leiria)
Geodesic paths and weakly Mal'tsev categories



March 18, 14:30
Andrea Montoli (CMUC, Univ. Coimbra)
Monoids and pointed S-protomodular categories



January 28, 14:30
George Janelidze (Univ. Cape Town, South Africa)
Descent Theory



2013


November 15, 15:30
Jo o Pita Costa (Josef Stefan Institute, Liubliana, Slovenia)
On the contributions of lattice theory to the study of persistent homology.



October 15, 15:30
Diana Rodelo (CMUC and Univ. of Algarve)
Remarks on reflexive multiplicative graphs in Gumm categories



October 15, 14:30
Tim Van der Linden (Universit Catholique de Louvain, Belgium)
What is a tensor product internally?



September 12, 16:00
Imanol Mozo Carollo (Univ. of the Basque Country, Bilbao, Spain)
The frame of partial reals and the Dedekind order completion of C(L)



September 12, 15:00
Luis Espanol (Univ. de La Rioja, Logro o, Spain)
Double negation and other sites on monoides of sequences related to the convergence



June 18, 15:00
Bernhard Banaschewski (McMaster Univ., Hamilton, Canada)
Choice and pointfree topology



June 4, 15:00
Dominique Bourn (U. Littoral, Calais, France)
Non-pointed additive category



May 22, 15:30
Pier Giorgio Basile (PhD student)
Categories of lax algebras: a first approach



May 15, 15:30
Fernando Lucatelli (PhD student)
Every prespectrum represents a homology theory



March 26, 15:00
Maria Manuel Clementino (CMUC/Univ. de Coimbra)
On the Beck-Chevalley condition for Set-monads



February 26, 16:00
Luigi Santocanale (Univ. de Provence, France)
Sublattices of associahedra and permutohedra equations satisfied by associahedra



February 26, 15:00
Maria Jo o Gouveia (Univ. Lisboa)
Special completions of semilattices and lattices



January 15, 15:00
Dirk Hofmann (Univ. Aveiro)
On Alexander's Subbase Lemma



2012


November 27, 16:00
Dimitri Chikhladze (CMUC)
Algebras, monoidal structures and cocycles



September 28, 14:00
Aldo Ursini (Universit degli studi di Siena, Italy)
Mathematical Ideals in Coimbra IV



September 27, 9:00
Aldo Ursini (Universit degli studi di Siena, Italy)
Mathematical Ideals in Coimbra III



September 26, 14:00
Aldo Ursini (Universit degli studi di Siena, Italy)
Mathematical Ideals in Coimbra II



September 25, 16:30
Aldo Ursini (Universit degli studi di Siena, Italy)
Mathematical Ideals in Coimbra I



July 18, 11:30
James Gray (UNISA, Pretoria, South Africa)
Normalizers and algebraic exponentiation



July 18, 10:30
George Janelidze (U. Cape Town, South Africa)
Geometric semi-abelian categories



June 28, 15:00
Dirk Hofmann (Univ. Aveiro)
Dualities via splitting idempotents



April 18, 15:00
H. P. Sankappanavar (State University of New York/CAUL)
De Morgan algebras: new perspectives and applications



March 20, 15:30
Dimitri Chikhladze (CMUC)
Monoidal structures



March 20, 14:30
Craig Pastro (Kyushu University, Japan)
Complementing comonads



February 28, 16:00
Diana Rodelo (Univ. Algarve/CMUC)
Mal'tsev categories and a generalised 3x3 Lemma



February 28, 15:00
Dominique Bourn (Univ. du Littoral, Calais, France)
Shreier Mac Lane theorem in the Mal'cev context



February 20, 16:30
Nelson Martins Ferreira (IP Leiria/CDRSP))
Topological space objects via neighbourhood systems



February 20, 15:30
Andrea Montoli (CMUC)
Semidirect products and split short five lemma in algebraic categories



February 20, 14:30
Tim Van der Linden (Univ. catholique Louvain, Belgium)
Higher central extensions via binary commutators



January 20, 15:00
Lurdes Sousa (CMUC/IP Viseu)
Well-founded and well-pointed coalgebras



2011


November 23, 15:00
Javier Guti rrez Garc a (UPV, Bilbao, Spain)
A Selection of Insertion-type results Extending Katetov's procedure



November 23, 16:00
Jorge Picado (Mat.FCTUC/CMUC)
Normality vs. extremal disconnectedness: two sandwich-type results for the price of one



October 25, 12:00
Marino Gran (Univ. catholique Louvain, Belgium)
The new calculus of star-relations



October 25, 14:30
Diana Rodelo (Univ. Algarve/CMUC)
Remarks on the projective covers of algebraic categories



October 25, 15:30
Nelson Martins-Ferreira (IP Leiria)
Weakly Mal'tsev categories and strong relations



October 25, 15:00
Andrea Montoli (CMUC)
Obstruction theory in action accessible categories



October 25, 15:00
Tim Van der Linden (Univ. catholique Louvain, Belgium)
Aspects of the "Smith is Huq" property



June 30, 15:30
Javier Guti rrez Garc a (Univ. Basque Country, Bilbao, Spain)
On monotone normality and subfitness



June 30, 14:30
Bernhard Banaschewski (McMaster University, Canada)
Baire sets and the Boolean reflection of sigma-frames



June 28, 15:30
Maria Manuel Clementino (Mat. FCTUC/CMUC)
Injectivity and the fibrewise way-below relation



June 28, 14:30
Bernhard Banaschewski (McMaster University, Canada)
Nonmeasurable cardinals and pointfree topology



March 29, 15:30
Dirk Hofmann (Univ. Aveiro)
Approaching metric domains



March 29, 14:30
Gon alo Gutierres (Mat. FCTUC/CMUC)
Scott approach spaces



February 22, 16:30
Nelson Martins-Ferreira (IP Leiria)
Internal categorical structures in weakly Mal'tsev categories



February 22, 15:00
Andrea Montoli (CMUC)
Semidirect products in Jonsson-Tarski varieties



January 25, 16:30
Bj rn Gohla (U. Porto)
A mapping space for Gray-categories