2010-05-31 Cartesian 射 math functor に対し,射 が Cartesian 射 であるとは,任意の に対し, が Cartesian である,すなわち が単射で像が に一致すること.