MATH
Login Or Sign up

List Question

15
270
Views

Examples of monads

Published on
#category-theory #examples-counterexamples #monads
78
Views

A pattern of adjointness proof

Published on
#category-theory #adjoint-functors #monads
491
Views

Morita theory for algebras for a monad $T$

Published on
#category-theory #universal-algebra #monads #accessible-categories
38
Views

What are the special properties of adjunctions that generate polynomial monads

Published on
#category-theory #monads
65
Views

Transformation from the List monad to the Bag monad on the 2-Category of Groupoids

Published on
#category-theory #monads
90
Views

Categories in which every monomorphism is regular / effectivie?

Published on
#category-theory #universal-algebra #monads
16
Views

Proof verification: Group of units functor is not monadic

Published on
#proof-verification #monads
48
Views

The $\mathbb{C}$ vector space monad on the 2-Category of Groupoids

Published on
#vector-spaces #category-theory #groupoids #monads
61
Views

Which functors between varieties of algebras are monadic?

Published on
#universal-algebra #monads
102
Views

Interpretation of the product axiom for the Giry Monad

Published on
#category-theory #monads
128
Views

Monad and identity element

Published on
#category-theory #monads
130
Views

Construction of a monad from an operad is in the CGWH category

Published on
#algebraic-topology #category-theory #monads #loop-spaces #operads
51
Views

Is "initial Partial Fragment" of Lists a Comonad?

Published on
#category-theory #monads
197
Views

Is the finite multiset monad a finitary monad?

Published on
#category-theory #monads
57
Views

Origin of η and μ as names for monad natural transformations

Published on
#category-theory #monads

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.