News for hackers. Stuff that matters.

A comment on Category Theory ∩ Machine Learning. Parent comment

Re:Category Theory ∩ Machine Learning by justatdotin on Tuesday March 07, 2023 @05:23PM (#35062111)
> I wonder to which extent can category theory be re-expressed in terms of sets...

yoneda

[ Parent | on HN ]
Re:Category Theory ∩ Machine Learning by ginnungagap on Wednesday March 08, 2023 @01:54AM (#35066043)
This also requires universes/inaccessible cardinals to even be stated for categories that are not locally small. But as I mentioned in another comment assuming enough universes exist is not a big deal for set theorists
[ Parent | on HN ]