Recent site activity Naoki Wakamori's Website
全文
図
関連したドキュメント
We construct a cofibrantly generated model structure on the category of flows such that any flow is fibrant and such that two cofibrant flows are homotopy equivalent for this
In this way, we succeeded to find sufficient conditions for the absence of both eventually positive and monotonically non-decreasing solutions of (11) and eventually negative
We define the basic model for serial systems as follows: each stage controls its inventory by an installation base-stock policy; external demand follows Poisson process; the
– proper & smooth base change ← not the “point” of the proof – each commutative diagram → Ð ÐÐÐ... In some sense, the “point” of the proof was to establish the
One problem with extending the definitions comes from choosing base points in the fibers, that is, a section s of p, and the fact that f is not necessarily fiber homotopic to a
Note that the Gysin isomorphism [20, Theorem 4.1.1] commutes with any base extension. The assertion follows from induction on the dimension of X by a similar method of Berthelot’s
Note that various authors use variants of Batanin’s definition in which a choice of n-globular operad is not specified, and instead a weak n-category is defined either to be an
More precisely, the category of bicategories and weak functors is equivalent to the category whose objects are weak 2-categories and whose morphisms are those maps of opetopic