Newbetuts
.
New posts in category-theory
In the Set category, why is every singleton a terminal object?
category-theory
Equivalent categories are elementarily equivalent: Formalization?
category-theory
predicate-logic
first-order-logic
Do equivalence relations form a monadic category? [closed]
category-theory
monads
Category of Abelian group pairs is not Abelian
category-theory
abelian-categories
additive-categories
Is $\mathbf{Grp}$ a concrete category?
category-theory
Is there a general way to tell whether two topological spaces are homeomorphic?
general-topology
algebraic-topology
category-theory
Slicker construction of the free product of groups
abstract-algebra
group-theory
category-theory
free-groups
Is duality an exact functor on Banach spaces or Hilbert spaces?
abstract-algebra
functional-analysis
category-theory
banach-spaces
hilbert-spaces
Category theory, a branch of abstract algebra?
abstract-algebra
category-theory
Abstract nonsense proof
soft-question
category-theory
Example of a functor which preserves all small limits but has no left adjoint
category-theory
limits-colimits
adjoint-functors
"Natural" categories where monomorphisms differ from injective morphisms
abstract-algebra
category-theory
Explicit unit/counit of inverse image/direct image adjunction.
algebraic-geometry
category-theory
sheaf-theory
Category theory from the first order logic point of view
logic
category-theory
model-theory
foundations
Multi-pullbacks and the relative chinese remainder theorem
ring-theory
category-theory
ideals
chinese-remainder-theorem
Questions about the definition of a Category
category-theory
What really is a colimit of sets?
category-theory
limits-colimits
What is the difference betwen equivalence and isomorphism of functors in categories.
category-theory
functors
Examples of co-implication (a.k.a co-exponential)
logic
category-theory
philosophy
topos-theory
constructive-mathematics
definition of a groupoid
abstract-algebra
algebraic-topology
category-theory
groupoids
Prev
Next