<ruby id="d9npn"></ruby>

<sub id="d9npn"><progress id="d9npn"></progress></sub>

<nobr id="d9npn"></nobr>

<rp id="d9npn"><big id="d9npn"><th id="d9npn"></th></big></rp>

<th id="d9npn"><meter id="d9npn"></meter></th>

# Questions tagged [ct.category-theory]

Categories and functors, universal properties, algebras and algebraic theories, topoi, enriched and internal categories, structured categories (abelian, monoidal, etc), higher categories.

4,206 questions
Filter by
Sorted by
Tagged with
0answers
75 views

### On the universal property for interval objects

In his lecture, The Categorical Origins of Lebesgue Measure, Professor Tom Leinster mentions the following theorem: Theorem 1: (Freyd; Leinster) The topological space $[0, 1]$ comes equipped with ...
0answers
60 views

### Need sheaves take value in small categories?

In all the definitions of (pre)sheaves that I have seen, they are always contravariant functors from some category $\mathcal{C}$ to a small category, say, Set. However, the definitions are always ...
0answers
56 views

### What are the (co)algebras for the $(\operatorname{Hom}(A,-), A\otimes-)$ adjunction (co)monad?

A module $A$ over a commutative ring $k$ gives a pair of adjoint endofunctors, $(A\otimes_k-)$ left adjoint to $\operatorname{Hom}_k(A,-)$. They produce a monad $T_A$ and a comonad $C_A$. Is there any ...
0answers
32 views

1answer
104 views

### By general reasons, $i_A \colon \mathbb{D}\text{-}\mathrm{cont}[A,\mathbf{Set}] \to [A,\mathbf{Set}]$ has a left adjoint

In Centazzo and Vitale's A Duality Relative to a Limit Doctrine (TAC, 2002, abstract), early on, they make the above claim and cite Kelly's Basic Concepts in Enriched Category Theory (TAC reprints). I ...
2answers
159 views

### CG spaces from the perspective of sheaves over compact Hausdorff spaces

A compactly generated space is a space $X$ such that $f : X \rightarrow Y$ is continuous if and only if $K \rightarrow X \stackrel{f}{\rightarrow} Y$ is continuous for each compact hausdorff space $K$....
2answers
202 views

### Motivation/intuition behind the definition of delta-functors and related concepts

I originally posted this on Maths SE, but then realised that the question probably fits MO better, as my objective was to gain different perspectives regarding the matter. Why are $\delta$-functors ...
1answer
844 views

### Who invented Monoid?

I was trying to find (and failed) the original author of either the concept of Monoid (set with binary associative operation and identity) the name (which sounds french ? and also Dioid (for what ...
1answer
93 views

### Structure of a poset of subcategories

Given a category $\mathbf{C}$, we can consider monomorphisms into it. These are the faithful and injective-on-objects functors (this violates the principle of equivalence). The idea is to try to get a ...
0answers
64 views

### Eventually non vanishing tors

Let $A$ be a commutative $k$-algebra, for $k$ a field of characteristic $0$. Let $Perf_{A}$ denote the dg category of cohomologically graded $A$-modules and let $M\in Perf_{A}$ be a classical perfect ...
1answer
113 views

### Understanding the reason for the particular formulation of the definition of a concrete reflector (as stated in The Joy of Cats)

This question is essentially a followup of this question. But before going into the question let me introduce the relevant definitions as given in The Joy of Cats. Definition 1. Let $\bf{X}$ be a ...
1answer
252 views

### When do triples have been called monads for the first time?

I am fine-tuning a short note on basic category theory; any such course must introduce monads, and I want to give a bit of history of the subject. I soon realized that I don't know the precise series ...
1answer
135 views

### Proving a Kan-like condition for functors to model categories?

I've been trying to prove this version of the Kan condition for a project that I'm thinking about, and I'm pretty stuck. My experience asking questions about this stuff on MO in the past has been ...
1answer
187 views

### Why does every chain complex have a map into its cone?

In Weibel's An introduction to homological algebra he defines a cone as an explicit chain complex associated to the given one -i.e. for a chain $C=(C_i, d)$ he defines \$Cone(C)=\left(C_{i-1} \oplus ...

15 30 50 per page
特码生肖图
<ruby id="d9npn"></ruby>

<sub id="d9npn"><progress id="d9npn"></progress></sub>

<nobr id="d9npn"></nobr>

<rp id="d9npn"><big id="d9npn"><th id="d9npn"></th></big></rp>

<th id="d9npn"><meter id="d9npn"></meter></th>

<ruby id="d9npn"></ruby>

<sub id="d9npn"><progress id="d9npn"></progress></sub>

<nobr id="d9npn"></nobr>

<rp id="d9npn"><big id="d9npn"><th id="d9npn"></th></big></rp>

<th id="d9npn"><meter id="d9npn"></meter></th>

飞艇开奖结果在线 pk10赌博骗局 1000期双色球走势图助手彩吧 云南时时结果查询 如何看懂时时彩走势图 5分赛车走势图 五分赛车两期计划 重庆时时走势图经 凤凰五分赛计划 304永利集团游戏官网