Skip to content

Add new properties: direct, inverse, one-way#31

Merged
ScriptRaccoon merged 6 commits intomainfrom
direct-categories
Apr 3, 2026
Merged

Add new properties: direct, inverse, one-way#31
ScriptRaccoon merged 6 commits intomainfrom
direct-categories

Conversation

@ScriptRaccoon
Copy link
Copy Markdown
Owner

@ScriptRaccoon ScriptRaccoon commented Apr 3, 2026

  • Added three new properties: direct, inverse, one-way (cf. nLab)
  • Added appropriate implicatons
  • Decided these properties for all categories in the DB
  • Adjust some tags
  • Add easy result about thin categories

@ScriptRaccoon ScriptRaccoon force-pushed the direct-categories branch 2 times, most recently from 873195f to ee4f8d6 Compare April 3, 2026 20:01
@ScriptRaccoon ScriptRaccoon merged commit 88b1622 into main Apr 3, 2026
@ScriptRaccoon ScriptRaccoon deleted the direct-categories branch April 3, 2026 20:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant