4
votes
When is $f$ not the coequalizer of its kernel pair?
As Zhen Lin noted in the comments, coequalizers are always epimorphisms. So, when $f$ is not an epimorphism, it will never be the coequalizer of its kernel pair.
For a concrete example, in the ...
3
votes
Formalizing the universal property of the tensor product
It's a good question. I would personally say that this definition of universal property is not the best one and is not what comes naturally in many situations.
On the other hand, I can tell you one ...
2
votes
How to construct a Segal category from a quasicategory?
The canonical reference is the paper
Quasi-categories vs Segal spaces
by André Joyal and Myles Tierney.
It works in the setting of Segal spaces, but there are standard tools to move between Segal ...
2
votes
Accepted
On the cartesian closed T-spaces
Regarding the first question, your interpretation is correct. Regarding the second, one can interpret "covering" as sending a pullback to what is known as a weak pullback. One can then show ...
2
votes
When is $f$ not the coequalizer of its kernel pair?
The simplest example is the category with two distinct objects $X$ and $Y$, and a one non-identity morphism $f\colon X\to Y$. The coequalizer of its kernel pair is the identity morphism on $X$. Note ...
1
vote
Initial object, final object and unit and counit
First one has to define $\epsilon_d$ for every $d$. For this, use the initiality of $\eta_{Gd}$: there is a unique map $\epsilon_d: FGd \to d$ making the triangle $1_{Gd}: Gd \xrightarrow{\eta_{Gd}} ...
1
vote
Symmetries of a non-associative mapping
The paper "Plots and Their Applications - Part 1: Foundations" by Salvatore Tringali, available at https://arxiv.org/abs/1311.3524v1, explores how characterizations of objects by universal ...
1
vote
Accepted
Continuity of the fibre product projection
It is clear that the x coordinates of the fibered product form a subset of X. Project from the fibered product to that subset, and utilize the definition of the product topology. Then project from ...
1
vote
Does the simplicial-set internal hom of quasicategories give a quasicategory?
Reference: see Lurie, Higher Topos Theory, Proposition 1.2.7.3.
Also see the Proposition following 2.2.5.7; it is a proof of 1.2.7.3.
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
category-theory × 12990abstract-algebra × 1616
homological-algebra × 707
abelian-categories × 612
adjoint-functors × 593
algebraic-geometry × 583
limits-colimits × 577
general-topology × 553
reference-request × 552
algebraic-topology × 539
topos-theory × 496
group-theory × 484
functors × 477
monoidal-categories × 456
modules × 405
sheaf-theory × 377
soft-question × 342
higher-category-theory × 320
homotopy-theory × 317
logic × 302
commutative-algebra × 271
terminology × 260
definition × 253
set-theory × 248
ring-theory × 226