MATH
Login Or Sign up

List Question

15
153
Views

name this "hybrid" categorical construction

Published on
#category-theory
432
Views

Why are Truth, Conjunction, and Implication called "Negative" fragments of IPL (intuitionisti logic Proposition Logic)?

Published on
#category-theory #computer-science #type-theory #homotopy-type-theory
1.6k
Views

Tensor product of function space and vector space

Published on
#functional-analysis #category-theory #tensor-products #universal-property
186
Views

Is $\mathbb{Z}$ the initial rook?

Published on
#abstract-algebra #category-theory
175
Views

Equivalent definitions of regular categories?

Published on
#category-theory #topos-theory
847
Views

What does it mean to say that a particular mathematical theory is a foundation for mathematics?

Published on
#logic #soft-question #category-theory #set-theory #foundations
891
Views

The universal enveloping algebra of free Lie algebra is the tensor algebra on the Free Abelian Group?

Published on
#abstract-algebra #category-theory #lie-algebras #free-lie-algebra
77
Views

Can the underlying set functor corresponding to an algebraic theory always be viewed as a model of that theory?

Published on
#category-theory
129
Views

Why is this not a category?

Published on
#abstract-algebra #category-theory #order-theory
736
Views

Functorial cofibrant replacement does not have to be fibration?

Published on
#category-theory #definition #homotopy-theory #model-categories
50
Views

Applying the functor $H_*$ to the inclusion sequence $A\rightarrow B\rightarrow C$

Published on
#category-theory #homological-algebra #homology-cohomology
69
Views

Gpd as a presheaf category

Published on
#category-theory
394
Views

Zero Morphisms in a Category

Published on
#category-theory #homological-algebra
330
Views

Homotopy Groups for Categories

Published on
#category-theory #homotopy-theory #higher-category-theory
194
Views

Why $R^{op}$ used in the definition of "category of $R$-modules"?

Published on
#category-theory #modules #definition

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.