Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: practice: terminology & notation

Topic: algebra for a functor whose structure map is an iso

Nathaniel Virgo (Aug 12 2024 at 05:21):

Is there a name for an algebra for a functor whose structure map is an isomorphism, or equivalently a coalgebra whose structure map is an isomorphism? Initial algebras and final coalgebras have this property, but there can be others as well.

The obvious name would be [[bialgebra]], but that's taken for something else.

Nathanael Arkor (Aug 12 2024 at 06:56):

These tend to be called [[fixed points]].