MATH
Login Or Sign up

List Question

15
93
Views

How does universal quantification apply to this equation?

Published on
#logic #quantifiers #universal-algebra
171
Views

Kernel cokernel correspondence?

Published on
#category-theory #universal-algebra #limits-colimits
86
Views

Does equivalence of algebraic categories imply bi-interpratibility of their theories?

Published on
#reference-request #model-theory #universal-algebra
2.3k
Views

A categorical first isomorphism theorem

Published on
#abstract-algebra #category-theory #universal-algebra
104
Views

If finitely many algebraic identities do not imply some identity, is there always a finite counterexample?

Published on
#logic #universal-algebra #automated-theorem-proving
170
Views

Is there some kind of deep relationship between substitution and recursion?

Published on
#logic #soft-question #category-theory #recursion #universal-algebra
134
Views

Slick Definition of the Category of Cartesian Closed Categories

Published on
#reference-request #category-theory #universal-algebra
111
Views

Cokernel in universal algebra

Published on
#universal-algebra
214
Views

Not congruence-permutable lattice

Published on
#lattice-orders #universal-algebra
59
Views

Does this algebra whose signature is (1,1) have a name?

Published on
#universal-algebra
126
Views

“One cannot hope to find any further essentially new lattice properties…”

Published on
#logic #lattice-orders #universal-algebra
270
Views

Finite generating sets and finitely-generated modules

Published on
#abstract-algebra #modules #order-theory #universal-algebra #finitely-generated
148
Views

What are permutable equivalence relations intuitively?

Published on
#combinatorics #intuition #universal-algebra
78
Views

Can we do representation theory for algebras with >2 operations?

Published on
#abstract-algebra #representation-theory #universal-algebra
131
Views

What is the smallest variety containing all monoids and all semigroups with a one-sided zero?

Published on
#semigroups #universal-algebra

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.