Lurdes Sousa

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