Page 1

Displaying 1 – 13 of 13

Showing per page

On coalgebras and type transformations

H. Peter Gumm (2007)

Discussiones Mathematicae - General Algebra and Applications

We show that for an arbitrary Set-endofunctor T the generalized membership function given by a sub-cartesian transformation μ from T to the filter functor 𝔽 can be alternatively defined by the collection of subcoalgebras of constant T-coalgebras. Sub-natural transformations ε between any two functors S and T are shown to be sub-cartesian if and only if they respect μ. The class of T-coalgebras whose structure map factors through ε is shown to be a covariety if ε is a natural and sub-cartesian mono-transformation....

Opmonoidal monads.

McCrudden, Paddy (2002)

Theory and Applications of Categories [electronic only]

Currently displaying 1 – 13 of 13

Page 1