Skip to content

The category of posets without isolated points - #355

Merged
ScriptRaccoon merged 3 commits into
mainfrom
poset-no-isolated
Sep 5, 2026
Merged

The category of posets without isolated points#355
ScriptRaccoon merged 3 commits into
mainfrom
poset-no-isolated

clarify the definitions of multi-limits and multi-colimits

2e180c7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar