added pointer to
for the actual statement of the inference rules
]]>I have spelled out (here) what I gather are the full inference rules for homotopy pushout types.
In doing so, i am taking the liberty of not following the traditional term labelling conventions but making more suggestive choices.
]]>added pointer to:
Should this not be named “homotopy pushout type”? To leave room for an entry on actual h-set pushouts?
]]>Page created, but author did not leave any comments.
Anonymous
]]>