Found 26 Documents (Results 1–26)
Quotients of bounded natural functors. (English) Zbl 07614662
Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12167, 58-78 (2020).
Accessible set functors are universal. (English) Zbl 1524.18006
Reviewer: Hirokazu Nishimura (Tsukuba)
A farewell to Professor RNDr. Věra Trnková, DrSc. (English) Zbl 1463.01029
MSC:
01A70
Coalgebra learning via duality. (English) Zbl 1524.68158
Bojańczyk, Mikołaj (ed.) et al., Foundations of software science and computation structures. 22nd international conference, FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11425, 62-79 (2019).
Algebra and local presentability: how algebraic are they? (A survey). (English) Zbl 1387.18010
Reviewer: Michel Hébert (Cairo)
Set functors and filters. (English) Zbl 1317.18009
Reviewer: Sergejs Solovjovs (Brno)
Coproducts of monads on Set. (English) Zbl 1364.18001
Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 45-54 (2012).
Rigidity of unary algebras and its application to the \({\mathcal {HS} = \mathcal {SH}}\) problem. (English) Zbl 1221.08004
Reviewer: Danica Jakubiková-Studenovská (Košice)
The \({\mathcal {HS}} = {\mathcal {SH}}\) problem for coalgebras. (English) Zbl 1220.03011
Reviewer: Lutz Schröder (Bremen)
On universal categories of coalgebras. (English) Zbl 1216.18004
Reviewer: Jiří Rosický (Brno)
MSC:
18B15
On minimal coalgebras. (English) Zbl 1144.18002
Recursive coalgebras of finitary functors. (English) Zbl 1147.18001
Reviewer: Dimitru Buşneag (Craiova)
The intersection of algebra and coalgebra. (English) Zbl 1110.18002
Reviewer: Dana Piciu (Craiova)
Weakly terminal objects in quasicategories of \(\mathcal{SET}\) endofunctors. (English) Zbl 1092.18001
Reviewer: Dana Piciu (Craiova)
Algebraic functor slices. (English) Zbl 0760.18003
Reviewer: H.Kleisli (Fribourg)
A set functor which commutes with all homfunctors is a homfunctor. (English) Zbl 0336.18006
Reviewer: Václav Koubek
Categories. (English. Russian original) Zbl 0402.18001
J. Sov. Math. 7, 532-586 (1977); translation from Itogi Nauki Tekh., Ser. Algebra Topologiya Geom. 13, 51-147 (1975).
Filter Results by …
Document Type
- Journal Articles (23)
- Collection Articles (3)
all
top 5
Author
- Adámek, Jiří (8)
- Milius, Stefan (5)
- Trnková, Věra (4)
- Koubek, Vaclav (3)
- Wißmann, Thorsten (3)
- Barto, Libor (2)
- Brengos, Tomasz (2)
- Fürer, Basil (2)
- Gumm, Heinz-Peter (2)
- Levy, Paul Blain (2)
- Lochbihler, Andreas (2)
- Schneider, Joshua P. (2)
- Sichler, Jiří Jan (2)
- Traytel, Dmitry (2)
- Barlocco, Simone (1)
- Bowler, Nathan (1)
- Dubut, Jérémy (1)
- Katsumata, Shin-ya (1)
- Kupke, Clemens (1)
- Lücke, Dominik (1)
- Moss, Lawrence S. (1)
- Pohlova, Vera (1)
- Reiterman, Jan (1)
- Rosický, Jiří (1)
- Rot, Jurriaan (1)
- Schröder, Lutz (1)
- Shul’geifer, E. G. (1)
- Sousa, Lurdes (1)
- Tsalenko, M. Sh. (1)
all
top 5
Serial
- Algebra Univers. (4)
- Appl. Categ. Struct. (4)
- Log. Methods Comput. Sci. (4)
- Commentat. Math. Univ. Carol. (3)
- Czech. Math. J. (3)
- J. Pure Appl. Algebra (1)
- J. Sov. Math. (1)
- Theor. Comput. Sci. (1)
- Theor. Inform. Appl. (1)
- Tbil. Math. J. (1)
Biographic Reference
- Trnková, Věra (1)
all
top 3
Software
- Autoref (2)
- Cedille (2)
- CryptHOL (2)
- Isabelle/HOL (2)
- Lifting (2)
- Monomorphic Monad (2)
- Regex_Equivalence (2)
- Transfer (2)
- Archive Formal Proofs (1)
- Coinductive (1)
- Cubical agda (1)
- Ordinals Cardinals (1)
