Damus
Jade Master · 32w
nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr6yt3p8p6sr80hw5k2s5apxuwjvnpvmjwhdwysupxh5j259kd0equaral2 yes in this case fix a base category C, then the G-construction is a completion with respect to lax diagrams of shape C