Skip to content

Various additions to functors#246

Open
ScriptRaccoon wants to merge 9 commits into
mainfrom
functor-additions
Open

Various additions to functors#246
ScriptRaccoon wants to merge 9 commits into
mainfrom
functor-additions

Conversation

@ScriptRaccoon

@ScriptRaccoon ScriptRaccoon commented Jun 17, 2026 •
edited
Loading

Copy link
Copy Markdown
Owner
  1. On the functor list page /functors, show only tags that are actually used at least once.
  2. In SAFT, replace "locally small" with "locally essentially small".
  3. Add property: fully faithful
  4. Add property: right-invertible
  5. Add property: reflector
  6. Add property: coreflector
  7. Add the forgetful functor from groups to pointed sets

@ScriptRaccoon ScriptRaccoon force-pushed the functor-additions branch 2 times, most recently from 208ea31 to 4c24def Compare June 17, 2026 03:30
@ScriptRaccoon ScriptRaccoon mentioned this pull request Jun 17, 2026
Open
@ScriptRaccoon ScriptRaccoon marked this pull request as ready for review June 17, 2026 22:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

data

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@ScriptRaccoon