Globular multicategories with homomorphism types

Globular multicategories with homomorphism types

We introduce various notions of globular multicategory with homomorphism types. We develop a higher dimensional modules construction that constructs globular multicategories with strict homomorphism types. We illustrate how this construction is related to iterated enrichment. We show how various col...

書誌詳細
第一著者:	Dean, CJ
その他の著者:	Kremnitzer, Y
フォーマット:	学位論文
言語:	English
出版事項:	2022
主題:	Dependent Type theory Categories (Mathematics)

類似資料

Globular: an online proof assistant for higher-dimensional rewriting
著者:: Krzysztof Bar, 等
出版事項: (2018-01-01)

Algebraic coherent confluence and higher globular Kleene algebras
著者:: Cameron Calk, 等
出版事項: (2022-11-01)

2-adjoint equivalences in homotopy type theory
著者:: Daniel Carranza, 等
出版事項: (2021-01-01)

Lax orthogonal factorisations in monad-quantale-enriched categories
著者:: Maria Manuel Clementino, 等
出版事項: (2017-09-01)

Weak omega-categories from intensional type theory
著者:: Peter LeFanu Lumsdaine
出版事項: (2010-09-01)

Causal types for higher-order quantum theory
著者:: Simmons, W
出版事項: (2024)

A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus
著者:: Thomas Streicher
出版事項: (2017-12-01)

Probability and nondeterminism in compositional game theory
著者:: Bolt, J
出版事項: (2021)

Category theory, homology theory and their applications: proceedings of the conference held at the Seattle Research Center of the Battle Memorial Institute, June 24-July 19, 1969
出版事項: (1969)

Exact categories and categories of sheaves /
著者:: 312890 Barr, Michael, 等
出版事項: (1971)

Measure and categories : a survey of the analogies between topological and measurement /
著者:: 310528 Oxtoby, John C.
出版事項: (1971)

Categories and functors /
著者:: 310579 Pareigis, Bodo
出版事項: (1970)

Algebra of proofs /
著者:: 349024 Szabo, M. E.
出版事項: (1978)

Categories and sheaves /
著者:: Kashiwara, Masaki, 1947-, 等
出版事項: (2006)

Calculus of fractions and homotopy theory /
著者:: 342068 Gabriel, Peter, 等
出版事項: (1967)

Functors as strategy [filem]
出版事項: (1973)

Automated rewriting for higher categories and applications to quantum theory
著者:: Bar, K
出版事項: (2016)

Functors as strategy [kasetvideo]
出版事項: (1973)

Idempotents in intensional type theory
著者:: Michael Shulman
出版事項: (2017-04-01)

Weak Cat-Operads
著者:: Kosta DOSEN, 等
出版事項: (2015-03-01)

A reduced tensor product of braided fusion categories over a symmetric fusion category
著者:: Wasserman, T
出版事項: (2017)

On fusion 2-categories
著者:: Décoppet, TD
出版事項: (2023)

A classical groupoid model for quantum networks
著者:: David J. Reutter, 等
出版事項: (2019-03-01)

Arrows, structures and functors : the categorical imperative /
著者:: 295530 Arbib, Michael A., 等
出版事項: (1975)

How many response categories are sufficient for Likert type scales? An empirical study based on the Item Response Theory
著者:: Cetin Toraman, 等
出版事項: (2022-06-01)

Sets, logic and categories /
著者:: Cameron, Peter J. (Peter Jephson), 1947-
出版事項: (1998)

Overlap Algebras as Almost Discrete Locales
著者:: Francesco Ciraulo
出版事項: (2023-12-01)

Revisiting differential categories: new results on the foundation of differentiation
著者:: Lemay, JSP
出版事項: (2021)

Optimising assimilation of sea ice concentration in an Earth system model with a multicategory sea ice model
著者:: M. Kimmritz, 等
出版事項: (2018-01-01)

Kan extensions in enriched category theory /
著者:: 313184 Dubuk, Eduardo
出版事項: (1970)

Report of the Widwest category seminar IV /
著者:: 312707 Applegrate, H.
出版事項: (1970)

Reports of the Midwest Category Seminar V /
著者:: 312819 Andre, M., 等
出版事項: (1971)

Autonomous categories /
著者:: 312890 Barr, Michael
出版事項: (1979)

Categories for the working mathematician /
著者:: 387070 MacLane, Saunders
出版事項: (1971)

Theory of categories /
著者:: 310508 Mitchell, Barry
出版事項: (1965)

Reports of the Midwest Category Seminar /
著者:: Benabou, J.
出版事項: (1967)

Category Seminar : proceedings /
著者:: Sydney Category Theory Seminar (1972/73 : Sydney), 等
出版事項: (1974)

Categories for the working mathematician /
著者:: Mac Lane, Saunders, 1909-2005
出版事項: (1998)

Formal category theory : adjointness for 2-Cartegories /
著者:: Gray, John W. (John Walker), 1931-
出版事項: (1974)

Coherence in categories /
著者:: 310337 Kelly, G. M.
出版事項: (1972)