Результаты поиска

In category theory, a category is Cartesian closed if, roughly speaking, any morphism defined on a product of two objects can be naturally identified with...

corresponding free categories: F : Quiv → Cat Cat has all small limits and colimits. Cat is a Cartesian closed category, with exponential D C {\displaystyle...

category. Cartesian categories with an internal Hom functor that is an adjoint functor to the product are called Cartesian closed categories. Cartesian monoidal...

the cartesian monoidal category Set. Further, any (small) strict monoidal category can be seen as a monoid object in the category of categories Cat (equipped...

known that a solid Klein bottle is homeomorphic to the Cartesian product of a Möbius strip and a closed interval. The solid Klein bottle is the non-orientable...

doi:10.1016/0001-8708(91)90003-P. Carboni, A.; Walters, R.F.C. (1987). "Cartesian bicategories I". Journal of Pure and Applied Algebra. 49 (1–2): 11–32...

Categories with all finite products and exponential objects are called cartesian closed categories. Categories (such as subcategories of Top) without adjoined...

University Press, 1988); Goodman, The Republic of Letters; Erica Harth, Cartesian Women: Versions and Subversions of Rational Discourse in the Old Regime...

possible to define infinite Cartesian products, but this requires a more recondite definition of the product. Cartesian products were first developed...

Voltaire was present; see p. 89 of Dobre, Mihnea; Nyden, Tammy (2013). Cartesian Empiricism. Springer. ISBN 978-94-007-7690-6. "Newton, Isaac (1642–1727)"...

category of sets with Cartesian product as the monoidal operation, as noted above. 2-Categories are categories enriched over Cat, the category of small...

abelian groups and topological spaces are complete. A category is called cartesian closed if it has finite direct products and a morphism defined on a finite...

"calculus". cartesian closed A category is cartesian closed if it has a terminal object and that any two objects have a product and exponential. cartesian functor...

structure (or, in general, any finite number of monoids, M1, ..., Mk), their Cartesian product M × N, with the binary operation and identity element defined...

transformation Adjoint functor Monad (category theory) Variety of algebras Cartesian closed category Jacobson (2009), Proposition 1.6, p. 44. See for example,...

theory, called PER models. Considered as a category, PER models are a cartesian closed category with natural numbers object and subobject classifier, giving...

with nonholonomic constraints in 1871. He introduced the expressions for Cartesian velocities in terms of generalized velocities. In 1877, E. Routh wrote...

pope. In 1939, after invading Poland, Nazi Germany's occupation forces closed the university. Able-bodied males were required to work, so from 1940 to...

Chang Cartesian anxiety Cartesian circle Cartesian demon Cartesian doubt Cartesian dualism Cartesian materialism Cartesian Meditations Cartesian Other...

as for developing the connections between typed lambda calculus and cartesian closed categories (see Curry–Howard–Lambek correspondence). His last works...

with a 1/2 twist on one pair. The 8 non-orientable 3-manifolds are: The Cartesian product of a circle and a Klein bottle, S 1 × K {\displaystyle S^{1}\times...