Browsing by Author Adámek, Jiří
Results 1 to 14 of 14
Issue Date | Title | Author(s) | Type | Access |
---|---|---|---|---|
2019 | Finitely Presentable Algebras For Finitary Monads | Adámek, Jiří ; Milius, Stefan ; Sousa, Lurdes ; Wissmann, Thorsten | article | openAccess |
May-2018 | A Formula for Codensity Monads and Density Comonads | Adámek, Jiří ; Sousa, Lurdes | article | openAccess |
2015 | Kan injectivity in order-enriched categories | Adamek, Jíri ; Sousa, Lurdes ; Velebil, Jirí | article | embargoedAccess |
2017 | KZ-monadic categories and their logic | Adámek, Jiří ; Sousa, Lurdes | article | openAccess |
2005 | Logic of implications | Adámek, Jirí ; Sobral, Manuela ; Sousa, Lurdes | preprint | openAccess |
2007 | A logic of implications in algebra and coalgebra | Adámek, Jirí ; Sobral, Manuela ; Sousa, Lurdes | preprint | openAccess |
2006 | Morita equivalence of many-sorted algebraic theories | Adámek, Jirí ; Sobral, Manuela ; Sousa, Lurdes | article | openAccess |
2014 | On Final Coalgebras of Power-Set Functors and Saturated Trees | Adámek, Jiří ; Levy, Paul B. ; Milius, Stefan ; Moss, Lawrence S. ; Sousa, Lurdes | article | embargoedAccess |
2019 | On Finitary Functors | Adámek, Jiří ; Milius, Stefan ; Sousa, Lurdes ; Wissmann, Thorsten | article | openAccess |
2001 | On functors which are lax epimorphisms | Adámek, Jirí ; Bashir, Robert El ; Sobral, Manuela ; Velebil, Jirí | preprint | openAccess |
2009 | On quasi-equations in locally presentable categories II: a logic | Adámek, Jirí ; Sousa, Lurdes | preprint | openAccess |
2007 | The orthogonal subcategory problem and the small object argument | Adámek, Jirí ; Hébert, Michel ; Sousa, Lurdes | preprint | openAccess |
1997 | Reflective and Orthogonal Hulls. | Sousa, Maria de Lurdes da Costa e | doctoralThesis | openAccess |
9-Aug-2013 | Well-Pointed Coalgebras | Adámek, Jiří ; Milius, Stefan ; Moss, Lawrence S. ; Sousa, Lurdes | article | openAccess |