Your search returned 85 results.
Search | Subject | Verb | Object |
---|---|---|---|
🔎 | paper | study | category X |
🔎 | paper | generalizing | notion of a congruence on a category |
🔎 | paper | presents | algebraic and logical developments |
🔎 | paper | study | homomorphism of rings of continuous functions |
🔎 | people | proposed | definitions of `weak n-category |
🔎 | pointwise | left | Kan extensions |
🔎 | preservation | yields | approach to product measures |
🔎 | sufficiently cohesive topos of presheaves | satisfy | continuity axiom |
🔎 | pseudomonads | inducing | iteration pseudomonad |
🔎 | feature of a ramification groupoid | carries | certain order structure |
🔎 | realizability toposes | admits | geometric morphism |
🔎 | refinements | provided | uniqueness statement concerning canonical triangulations |
🔎 | regular epimorphism | satisfy | projectivity |
🔎 | results | identifies | right adjoint in familiar terms |
🔎 | results | generalizing | result of Tamarkin, who considered the case $\mathcal{P}=\End_\Op(X)$. |
🔎 | results | encompasses | known and new examples of quasitopoi |
🔎 | results | unifies | previous constructions of quotient triangulated categories |
🔎 | class of spaces homotopy orthogonality | implies | enriched orthogonality |
🔎 | structures | respect | dagger |
🔎 | assignment to each symmetric monoidal | closed | category |