Priors as Mathematical Objects — AI Alignment Forum