# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorJohn Baez
• CommentTimeOct 22nd 2020

Added a page about the category FinRel of finite sets and relations, and some of its properties.

• CommentRowNumber2.
• CommentAuthorDavid_Corfield
• CommentTimeOct 22nd 2020
• (edited Oct 22nd 2020)

Added in the title of the Coya-Fong paper.

• CommentRowNumber3.
• CommentAuthorJohn Baez
• CommentTimeOct 22nd 2020

• CommentRowNumber4.
• CommentAuthorUrs
• CommentTimeOct 22nd 2020
• (edited Oct 22nd 2020)

and did some minor polishing of the formatting,

such as extending hyperlinks over the full plural form of a term (which looks much better and works due to the magic of redirects),

and such as replacing

  :


with

  \colon


in math-mode (since otherwise it comes out ugly, for some reason)

• CommentRowNumber5.
• CommentAuthorDavidRoberts
• CommentTimeOct 23rd 2020

$FinRel$ can’t be isomorphic to $Mat(Bool)$, since the latter is skeletal (and has countable many objects), but the former is not skeletal, and is usually large (eg in ZFC). So I’ve replaced the “isomorphic” by “equivalent”.