Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 2811

Questions designed to generate a "big list" of certain results, examples, conjectures, etc. via many individual answers, each contributing one or a few instances. Such a question should typically be in Community Wiki mode (CW); after asking, please, flag for moderators attention requesting the question to be made CW.

2 votes

Graphical representation of mathematical structures (in the spirit of unified modeling langu...

One could consider UML as a kind of "front end" for category theory. For example, a basic database schema is just a category (and a more interesting database schema is a sketch). So if UML is just …
David Spivak's user avatar
  • 8,659
6 votes

Big list of comonads

For any monoid $(M,e,*)$ in $\mathsf{Set}$ there is a corresponding comonad $y^M$ on $\mathsf{Set}$. It sends a set $A$ to the set of morphisms into $A$ from $M$, $$ A\mapsto A^M. $$ Note that $y=y^1$ …