Re:Category Theory ∩ Machine Learning
by ginnungagap on Wednesday March 08, 2023 @01:51AM
(#35066030)
This is routinely dealt with through Grothendieck universes. Those are a fancy name for what is pretty much an inaccessible level of the cumulative hierarchy, indeed ZFC+"every set belongs to a Grothendieck universe" is equiconsistent with ZFC+"there is a proper class of inaccessible cardinals". This is not a strong assumption over pure ZFC compared to those set theorists interested in large cardinals work with
[ Parent
| on HN ]
There are no comments on this comment yet.