Newbetuts
.
New posts in category-theory
Can we use the internal logic of a category to do diagram chases "as in $\mathbf{Ab}$" ?
logic
category-theory
homological-algebra
abelian-categories
"Numerical results" from category theory
category-theory
soft-question
education
enriched-category-theory
Is the internal language of a topos complete, sound and effective?
logic
category-theory
proof-theory
topos-theory
Quasi-inverse of an equivalence of categories is unique up to unique isomorphism
category-theory
functors
Tensor products from internal hom?
category-theory
tensor-products
monoidal-categories
Can the identity $ab=\gcd(a,b)\text{lcm}(a,b)$ be recovered from this category?
elementary-number-theory
category-theory
divisibility
gcd-and-lcm
least-common-multiple
Set union in the category of sets
category-theory
Axioms for category theory
category-theory
Why are adjoint functors common?
category-theory
adjoint-functors
Categorical characterizations of ring properties
ring-theory
category-theory
definition
big-list
Category of Banach spaces
functional-analysis
category-theory
banach-spaces
Universal property of initial topology
general-topology
category-theory
Center of the categories $\mathbf{Grp}$ and $\mathbf{Ab}$.
group-theory
category-theory
monoid
The colimit of all finite-dimensional vector spaces
linear-algebra
category-theory
Why is the category of finitely generated modules over a non-noetherian ring not abelian?
commutative-algebra
category-theory
abelian-categories
additive-categories
Origin of Grothendieck universes
reference-request
category-theory
set-theory
Can we define factorials in sufficiently nice categories?
category-theory
$B\otimes_A A[x]=B[x]$
ring-theory
commutative-algebra
category-theory
Why is the 'mapping space' between two objects in a quasi-category a Kan complex?
category-theory
simplicial-stuff
higher-category-theory
Usage of triangulated categories
abstract-algebra
category-theory
triangulated-categories
Prev
Next