Bruno Gavranović has contributed to 7 nLab pages.
list of notable initial algebras and terminal coalgebras | 22:50:47, March 24 2024 |
list of notable initial algebras and terminal coalgebras | 21:49:16, March 24 2024 |
terminal coalgebra for an endofunctor | 16:04:03, December 19 2023 |
coalgebra for an endofunctor | 16:02:53, December 19 2023 |
list of notable initial algebras and terminal coalgebras | 15:54:48, December 19 2023 |
initial algebra of an endofunctor | 15:45:11, December 19 2023 |
para construction | 15:07:03, December 19 2023 |
coreader comonad | 18:05:12, August 12 2023 |
para construction | 15:23:20, July 22 2021 |
Bruno Gavranović | 14:58:37, July 22 2021 |
para construction | 14:36:42, July 22 2021 |