New answers tagged ct.category-theory
4
votes
Accepted
Comonoid homomorphisms in the bicategory of profunctors
It's helpful to consider the case of posets and $\mathbf{2}$-enriched profunctors between them, where $\mathbf{2}$ is the cartesian closed poset $(0 \leq 1)$. (This obviates the complications of ...
3
votes
Does the oriental inject into the cube?
Yes, though I don’t know a clean description. Several relevant constructions are discussed in §8 of Aitchison 1986/2010, The geometry of iterated cubes, especially §8.1–8.3; the following description ...
1
vote
Is there a category theoretic definition of a cryptographic commitment scheme?
Answer from Dusko Pavlovic:
the question is a very nice case for categorical cryptography because the commitment schema seems like an extreme case of bad notations causing bad confusions. the use ...
2
votes
Accepted
When is the cofibrant replacement of a product the product of the cofibrant replacements?
I asked this question a very long time ago, when I was just starting to do research in abstract homotopy theory. This is a classic case of an xy problem, where I had a proof in mind, and by asking ...
9
votes
Accepted
A result on symmetric closed monoidal categories
This is a special case of:
Let $F\dashv G$ be an adjunction. If there exists an isomorphism $id \cong GF$, then the unit $id \to GF$ is an isomorphism.
Indeed, $[-,A]$ is left adjoint to itself as ...
7
votes
Accepted
3-functoriality of the lax Gray tensor product
The lax Gray tensor product is not a two-variable 2-functor.
If it were, we'd have a functor $Fun(A,B) \times Fun(C,D) \to Fun(A \otimes_l C, B \otimes_l D)$ extending the set map $Ob Fun(A, B) \times ...
4
votes
What are the internal adjunctions in the bicategory $\mathsf{Span}$?
Let $\mathcal E$ be a category with pullbacks. A span $A \xleftarrow a X \xrightarrow b B$ has a right adjoint in the bicategory $\mathbf{Span}(\mathcal E)$ if and only if $a$ is invertible in $\...
0
votes
Most striking applications of category theory?
Uniform Manifold Approximation and Projection (UMAP), a method for dimensionality reduction:
The theoretical foundations for UMAP are largely based in manifold theory
and topological data analysis. ...
Community wiki
0
votes
Most striking applications of category theory?
I think that "Causal-net condensation" should be an example.
see:
https://www.researchgate.net/publication/369369549_Causal-...
Community wiki
2
votes
Accepted
A question about rigid objects in monoidal categories
Below is a graphical calculus:
For more details, you can read Sections 2 and 7 of my preprint arxiv:2203.06522 or watch my course of current semester on YouTube, from Session 3 at 15:00 here, and ...
3
votes
Accepted
Duality in a monoidal category as a functor
Yes. This is covered in Davydov, A. A. (1998). "Monoidal categories and functors". Journal of Mathematical Sciences. 88 (4): 458–472, which is linked from the wikipedia page on rigid ...
3
votes
Accepted
Do objects in the derived category behave stackily?
What do you mean vanishes in those degrees? Do you mean the cohomology sheaf vanishes? This would just follow from the analogous vanishing statement for sheaves.
Or for the literal complex do you mean ...
4
votes
Accepted
Interesting Grothendieck topologies or coverages on the category Prob
This answer is motivated by the related question here.
I think it can help to write $\mathbf{Prob}$ as a disjoint union of the categories $\mathbf{Prop}_\lambda$, with $\mathbf{Prop}_\lambda$ the full ...
3
votes
Accepted
Transitivity axiom for a Grothendieck Topology
I will make some assumptions about the definitions you are using, let me know if you are using a different approach.
A map $f: X \to Y$ is measure-preserving if $\mu(f^{-1}(A)) = \mu(A)$ for each ...
2
votes
Why is "everything staying correct" for simplicial spaces?
In general, it is not true that in the context you are interested in, simplicialization of statements preserves their truth. For example, already “every epimorphism of sets is a retraction”, but not “...
2
votes
Accepted
Are the injections of a coproduct a cover in the canonical pretopology?
This will not be the case in general. A family is a cover in the canonical topology if all its pullbacks are jointly regular epimorphism.
So this will for example be the case if coproducts are ...
5
votes
Generalization of category algebra
The category algebra is best understood in terms of the category algebroid: the free $R$-linear category generated by $C.$ The algebra just adds a bunch of zero products for non-composable morphisms ...
5
votes
In a weak factorization system, the left class is left cancellative iff the right class is what?
$\newcommand\Inj{\mathit{Inj}}$The answer to Question 1 is as anticipated: for a wfs $(\mathcal L, \mathcal R)$, we have that $\mathcal L$ is left cancellable iff $\mathcal R = ({}^\square\{X_i \to 1\}...
Community wiki
1
vote
Accepted
Comparing the exit path category and the nerve of a stratified space
This is false if the stratification is bad. (I first posted a more difficult example, but edited for simplification.)
Example. Let $X = \mathbf R$, let $Z$ be the closure of $\big\{\tfrac{1}{n}\ \big|\...
3
votes
Accepted
Do finitely presentable $\infty$-groupoids precisely correspond to the finite cell complexes?
I answer the question "where can I read the formal definition of the presentation of ∞-categories by generators and relations?"
You can read about this in the Unicity paper by Barwick and ...
Top 50 recent answers are included
Related Tags
ct.category-theory × 6231higher-category-theory × 797
reference-request × 577
at.algebraic-topology × 529
ag.algebraic-geometry × 528
homotopy-theory × 508
topos-theory × 419
monoidal-categories × 394
homological-algebra × 357
model-categories × 293
lo.logic × 276
infinity-categories × 225
monads × 212
set-theory × 200
simplicial-stuff × 200
limits-and-colimits × 195
gn.general-topology × 183
sheaf-theory × 183
rt.representation-theory × 168
abelian-categories × 159
ra.rings-and-algebras × 156
adjoint-functors × 140
gr.group-theory × 138
ac.commutative-algebra × 136
enriched-category-theory × 111