이 논문은 Joyal의 조합론적 종의 범주에서 일반화된 자동사를 연구하고, 파생 내부함수자 ∂와 'Euler 균질성 연산자' L ◦∂에 대한 코대수를 연구한다.
이 논문에서는 집합 차원에 대한 약한 구면 ω-범주의 대향을 정의하고, 자유 범주와 계산 가능성 속성이 대향 과정에서 보존됨을 보여줍니다. 또한 ω-범주에 대한 hom 함수자가 명시적으로 구축된 좌수반 함수자인 중지 함수자를 갖는다는 것을 보여줍니다.
이 논문은 (co)카르테시안 화살표, 섬유화, 함수자에 대한 일반화된 처리를 제공합니다. 고전적인 조건과 달리, 종단점 포함은 임의의 모양 포함으로 대체됩니다. 이 프레임워크는 합성 내부 (∞, 1)-범주 이론의 개발을 지원하는 Riehl–Shulman의 심플리셜 호모토피 타입 이론입니다.