cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A125696 Number of categories with n morphisms.

Original entry on oeis.org

1, 1, 3, 11, 55, 329, 2858, 36440, 1723286, 3687822810
Offset: 0

Views

Author

Keywords

Examples

			The 11 categories with 3 morphisms consist of:
* 7=A058129(3) categories with 1 object (monoids),
* 3 categories with 2 objects, consisting of: 2=A058129(2) disconnected combinations of a 2-element monoid and a 1-element monoid, and the category with 2 objects and a single morphism between the two objects,
* 1 category with 3 objects (3 separate 1-element monoids).
		

Crossrefs

Formula

Euler transform of A125698.
G.f.: Product_{i>=1} 1/(1-x^i)^A125698(i).
From Elijah Beregovsky, May 13 2025 (Start)
a(n) >= A058129(n).
Conjecture: a(n) = A058129(n)*(1+o(n)). See Cruttwell presentation in Links. (End)

Extensions

a(0) and a(7)-a(9) from Thomas Anton, from the work of G. Cruttwell and R. Leblanc, Jan 25 2019