RetroFed Forums
Your home away from modern life.
Search Categories Forum list Register Log in
About RetroFed
RetroFed

Welcome to the nostalgia-filled piefed instance of yesteryear.

Open Registration with Application questionnaire.

If you have a question or comment you can post in !meta@retrofed.com or message @DosDude@retrofed.com or @Die4Ever@retrofed.com

In case of downtime and/or emergency, we will post updates on @DosDude@mastodon.social

Some rules we try to uphold:

  • Be civil. Bigotry is not welcome. This includes (but is not limited to): transphobia, queerphobia, racism, ageism and ableism. We do not promote hate.
  • Communities need to be Retro or Retro-adjacent.
  • Please don't upload pornographic content. (use an external image host for that)
72 registered users
Administrators: DosDude, Die4Ever
Visit retrofed.com
category-theory: An axiom-free formalization of category theory in Coq for personal study and practical work by John Wiegley
Post Reply RetroFed Forums Forum Index » Formal Methods
AuthorMessage
demesisx programming.dev demesisx@programming.dev
Joined: 2023-06-25
Quote

Link: https://github.com/jwiegley/category-theory

This development encodes category theory in Coq, with the primary aim being to allow representation and manipulation of categorical terms, as well realization of those terms in various target categories.
1   Original
Post Reply
Back to top
Powered by RetroFed · PieBB frontend · All times are Europe/Amsterdam