trying to include functoriality
good progress at the low end
checkpoint
checkpoint before I try to smooth out the wrinkles
kinda stuck
got unstuck
cleanup
my brain hurts
progress
stuck again