Lurdes Sousa

Publication Activity (10 Years)

Years Active: 1995-2018
Publications (10 Years): 3

Top Topics

Extended Abstract

Processing Times

Simulated Annealing

Top Venues

Appl. Categorical Struct.

Log. Methods Comput. Sci.

Publications

Jirí Adámek, Lurdes Sousa
A Formula for Codensity Monads and Density Comonads. Appl. Categorical Struct. 26 (5) (2018)
Margarida Carvalho, Lurdes Sousa
On Kan-injectivity of Locales and Spaces. Appl. Categorical Struct. 25 (1) (2017)
Dirk Hofmann, Lurdes Sousa
Aspects of algebraic Algebras. Log. Methods Comput. Sci. 13 (3) (2017)
Jirí Adámek, Paul Blain Levy, Stefan Milius, Lawrence S. Moss, Lurdes Sousa
On Final Coalgebras of Power-Set Functors and Saturated Trees - To George Janelidze on the Occasion of His Sixtieth Birthday. Appl. Categorical Struct. 23 (4) (2015)
Jirí Adámek, Lurdes Sousa, Jiri Velebil
Kan injectivity in order-enriched categories. Math. Struct. Comput. Sci. 25 (1) (2015)
Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa
Well-Pointed Coalgebras Log. Methods Comput. Sci. 9 (3) (2013)
Jirí Adámek, Lurdes Sousa, Jiri Velebil
Kan injectivity in order-enriched categories. CoRR (2013)
Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa
Well-Pointed Coalgebras (Extended Abstract). FoSSaCS (2012)
Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa
Power-Set Functors and Saturated Trees. CSL (2011)
Jirí Adámek, Michel Hébert, Lurdes Sousa
The Orthogonal Subcategory Problem and the Small Object Argument. Appl. Categorical Struct. 17 (3) (2009)
Jirí Adámek, Lurdes Sousa
Constructions of Solid Hulls. Appl. Categorical Struct. 9 (1) (2001)
Lurdes Sousa
α-Sober spaces via the orthogonal closure operator. Appl. Categorical Struct. 4 (1) (1996)
Lurdes Sousa
Solid hulls of concrete categories. Appl. Categorical Struct. 3 (2) (1995)