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
December 17, 16:00
Norihiro Yamada
(CMUC, Univ. Coimbra)
Definability and full abstraction for algebraic effects with recursion
November 20, 14:00
Jirí Adámek
(Czech Technical Univ., Prague, Czech Republic)
Weighted sifted colimits
October 22, 16:00
Diana Rodelo
(CMUC and Univ. Algarve)
Enriched aspects of the Mal'tsev Property
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 T
0
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 T
D
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
Top
0
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