caa a22 4500 445378794 CHVBK 20180317143011.0 cr unu---uuuuu 170323e20111201xx s 000 0 eng 10.1007/s10485-010-9232-1 doi (NATIONALLICENCE)springer-10.1007/s10485-010-9232-1 Universality of Categories of Coalgebras [Elektronische Daten] [Václav Koubek, Jiří Sichler, Věra Trnková] Under GCH, a set functor F does not preserve finite unions of non-empty sets if and only if the category Coalg F of all F-coalgebras is universal. Independently of GCH, we show that for any non-accessible functor F preserving intersections, the category Coalg F has a large discrete full subcategory, and we give an example of a category of F-coalgebras that is not universal, yet has a large discrete full subcategory. Springer Science+Business Media B.V., 2010 Coalgebra nationallicence Full embedding nationallicence Universal category nationallicence Koubek Václav Department of Theoretical Computer Science and Mathematical Logic, and Institute of Theoretical Computer Science, The Faculty of Mathematics and Physics, Charles University, Malostranské nám. 25, 118 00, Praha 1, Czech Republic aut Sichler Jiří Department of Mathematics, University of Manitoba, R3T 2N2, Winnipeg, Canada aut Trnková Věra Mathematical Institute of Charles University, Sokolovská 83, 186 75, Praha 8, Czech Republic aut Applied Categorical Structures Springer Netherlands 19/6(2011-12-01), 939-957 0927-2852 19:6<939 2011 19 10485 https://doi.org/10.1007/s10485-010-9232-1 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10485-010-9232-1 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Koubek Václav Department of Theoretical Computer Science and Mathematical Logic, and Institute of Theoretical Computer Science, The Faculty of Mathematics and Physics, Charles University, Malostranské nám. 25, 118 00, Praha 1, Czech Republic aut NATIONALLICENCE 700 1- Sichler Jiří Department of Mathematics, University of Manitoba, R3T 2N2, Winnipeg, Canada aut NATIONALLICENCE 700 1- Trnková Věra Mathematical Institute of Charles University, Sokolovská 83, 186 75, Praha 8, Czech Republic aut NATIONALLICENCE 773 0- Applied Categorical Structures Springer Netherlands 19/6(2011-12-01), 939-957 0927-2852 19:6<939 2011 19 10485 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer