Skip to main content
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link

There are a number of results which count the number of possible algebraic structures on a set of $n$ elements. Notable previous MO questions are for example herehere and herehere. The analogous question for finite categories does not seem to enjoy the same attention as other algebraic structures. The only source I could find was the following OEIS entry. Simply put the first question is as follows:

How many categories with at most $n$ morphisms are there up to isomorphism? Up to equivalence?

Comparing with the analogous OEIS entry for monoids, we see that for small $n$, "almost all" categories are monoids.

In general, under some appropriate weighting scheme (which?), are almost all categories monoids, in the sense that the quotient $$\frac{\text{Number of monoids with at most }n \text{ elements}}{\text{Number of categories with at most }n \text{ morphisms}}\rightarrow 1$$ as $n\rightarrow \infty$ ?

Tom Leinster asks a similar question about groups on the $n$-category Café.

There are a number of results which count the number of possible algebraic structures on a set of $n$ elements. Notable previous MO questions are for example here and here. The analogous question for finite categories does not seem to enjoy the same attention as other algebraic structures. The only source I could find was the following OEIS entry. Simply put the first question is as follows:

How many categories with at most $n$ morphisms are there up to isomorphism? Up to equivalence?

Comparing with the analogous OEIS entry for monoids, we see that for small $n$, "almost all" categories are monoids.

In general, under some appropriate weighting scheme (which?), are almost all categories monoids, in the sense that the quotient $$\frac{\text{Number of monoids with at most }n \text{ elements}}{\text{Number of categories with at most }n \text{ morphisms}}\rightarrow 1$$ as $n\rightarrow \infty$ ?

Tom Leinster asks a similar question about groups on the $n$-category Café.

There are a number of results which count the number of possible algebraic structures on a set of $n$ elements. Notable previous MO questions are for example here and here. The analogous question for finite categories does not seem to enjoy the same attention as other algebraic structures. The only source I could find was the following OEIS entry. Simply put the first question is as follows:

How many categories with at most $n$ morphisms are there up to isomorphism? Up to equivalence?

Comparing with the analogous OEIS entry for monoids, we see that for small $n$, "almost all" categories are monoids.

In general, under some appropriate weighting scheme (which?), are almost all categories monoids, in the sense that the quotient $$\frac{\text{Number of monoids with at most }n \text{ elements}}{\text{Number of categories with at most }n \text{ morphisms}}\rightarrow 1$$ as $n\rightarrow \infty$ ?

Tom Leinster asks a similar question about groups on the $n$-category Café.

deleted 2 characters in body
Source Link

There are a number of results which countercount the number of possible algebraic structures on a set of $n$ elements. Notable previous MO questions are for example here and here. The analogous question for finite categories does not seem to enjoy the same attention as other algebraic structures. The only source I could find was the following OEIS entry. Simply put the first question is as follows:

How many categories with at most $n$ morphisms are there up to isomorphism? Up to equivalence?

Comparing with the analogous OEIS entry for monoids, we see that for small $n$, "almost all" categories are monoids.

In general, under some appropriate weighting scheme (which?), are almost all categories monoids, in the sense that the quotient $$\frac{\text{Number of monoids with at most }n \text{ elements}}{\text{Number of categories with at most }n \text{ morphisms}}\rightarrow 1$$ as $n\rightarrow \infty$ ?

Tom Leinster asks a similar question about groups on the $n$-category Café.

There are a number of results which counter the number of possible algebraic structures on a set of $n$ elements. Notable previous MO questions are for example here and here. The analogous question for finite categories does not seem to enjoy the same attention as other algebraic structures. The only source I could find was the following OEIS entry. Simply put the first question is as follows:

How many categories with at most $n$ morphisms are there up to isomorphism? Up to equivalence?

Comparing with the analogous OEIS entry for monoids, we see that for small $n$, "almost all" categories are monoids.

In general, under some appropriate weighting scheme (which?), are almost all categories monoids, in the sense that the quotient $$\frac{\text{Number of monoids with at most }n \text{ elements}}{\text{Number of categories with at most }n \text{ morphisms}}\rightarrow 1$$ as $n\rightarrow \infty$ ?

Tom Leinster asks a similar question about groups on the $n$-category Café.

There are a number of results which count the number of possible algebraic structures on a set of $n$ elements. Notable previous MO questions are for example here and here. The analogous question for finite categories does not seem to enjoy the same attention as other algebraic structures. The only source I could find was the following OEIS entry. Simply put the first question is as follows:

How many categories with at most $n$ morphisms are there up to isomorphism? Up to equivalence?

Comparing with the analogous OEIS entry for monoids, we see that for small $n$, "almost all" categories are monoids.

In general, under some appropriate weighting scheme (which?), are almost all categories monoids, in the sense that the quotient $$\frac{\text{Number of monoids with at most }n \text{ elements}}{\text{Number of categories with at most }n \text{ morphisms}}\rightarrow 1$$ as $n\rightarrow \infty$ ?

Tom Leinster asks a similar question about groups on the $n$-category Café.

Source Link

Counting categories with at most $n$ morphisms

There are a number of results which counter the number of possible algebraic structures on a set of $n$ elements. Notable previous MO questions are for example here and here. The analogous question for finite categories does not seem to enjoy the same attention as other algebraic structures. The only source I could find was the following OEIS entry. Simply put the first question is as follows:

How many categories with at most $n$ morphisms are there up to isomorphism? Up to equivalence?

Comparing with the analogous OEIS entry for monoids, we see that for small $n$, "almost all" categories are monoids.

In general, under some appropriate weighting scheme (which?), are almost all categories monoids, in the sense that the quotient $$\frac{\text{Number of monoids with at most }n \text{ elements}}{\text{Number of categories with at most }n \text{ morphisms}}\rightarrow 1$$ as $n\rightarrow \infty$ ?

Tom Leinster asks a similar question about groups on the $n$-category Café.