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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Dean, CJ
Rannpháirtithe:	Kremnitzer, Y
Formáid:	Tráchtas
Teanga:	English
Foilsithe / Cruthaithe:	2022
Ábhair:	Dependent Type theory Categories (Mathematics)

Míreanna comhchosúla

Globular: an online proof assistant for higher-dimensional rewriting
de réir: Krzysztof Bar, et al.
Foilsithe / Cruthaithe: (2018-01-01)

Algebraic coherent confluence and higher globular Kleene algebras
de réir: Cameron Calk, et al.
Foilsithe / Cruthaithe: (2022-11-01)

2-adjoint equivalences in homotopy type theory
de réir: Daniel Carranza, et al.
Foilsithe / Cruthaithe: (2021-01-01)

Lax orthogonal factorisations in monad-quantale-enriched categories
de réir: Maria Manuel Clementino, et al.
Foilsithe / Cruthaithe: (2017-09-01)

Weak omega-categories from intensional type theory
de réir: Peter LeFanu Lumsdaine
Foilsithe / Cruthaithe: (2010-09-01)

Causal types for higher-order quantum theory
de réir: Simmons, W
Foilsithe / Cruthaithe: (2024)

A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus
de réir: Thomas Streicher
Foilsithe / Cruthaithe: (2017-12-01)

Probability and nondeterminism in compositional game theory
de réir: Bolt, J
Foilsithe / Cruthaithe: (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
Foilsithe / Cruthaithe: (1969)

Exact categories and categories of sheaves /
de réir: 312890 Barr, Michael, et al.
Foilsithe / Cruthaithe: (1971)

Measure and categories : a survey of the analogies between topological and measurement /
de réir: 310528 Oxtoby, John C.
Foilsithe / Cruthaithe: (1971)

Categories and functors /
de réir: 310579 Pareigis, Bodo
Foilsithe / Cruthaithe: (1970)

Algebra of proofs /
de réir: 349024 Szabo, M. E.
Foilsithe / Cruthaithe: (1978)

Categories and sheaves /
de réir: Kashiwara, Masaki, 1947-, et al.
Foilsithe / Cruthaithe: (2006)

Calculus of fractions and homotopy theory /
de réir: 342068 Gabriel, Peter, et al.
Foilsithe / Cruthaithe: (1967)

Functors as strategy [filem]
Foilsithe / Cruthaithe: (1973)

Automated rewriting for higher categories and applications to quantum theory
de réir: Bar, K
Foilsithe / Cruthaithe: (2016)

Functors as strategy [kasetvideo]
Foilsithe / Cruthaithe: (1973)

Idempotents in intensional type theory
de réir: Michael Shulman
Foilsithe / Cruthaithe: (2017-04-01)

Weak Cat-Operads
de réir: Kosta DOSEN, et al.
Foilsithe / Cruthaithe: (2015-03-01)

A reduced tensor product of braided fusion categories over a symmetric fusion category
de réir: Wasserman, T
Foilsithe / Cruthaithe: (2017)

On fusion 2-categories
de réir: Décoppet, TD
Foilsithe / Cruthaithe: (2023)

A classical groupoid model for quantum networks
de réir: David J. Reutter, et al.
Foilsithe / Cruthaithe: (2019-03-01)

Arrows, structures and functors : the categorical imperative /
de réir: 295530 Arbib, Michael A., et al.
Foilsithe / Cruthaithe: (1975)

How many response categories are sufficient for Likert type scales? An empirical study based on the Item Response Theory
de réir: Cetin Toraman, et al.
Foilsithe / Cruthaithe: (2022-06-01)

Sets, logic and categories /
de réir: Cameron, Peter J. (Peter Jephson), 1947-
Foilsithe / Cruthaithe: (1998)

Overlap Algebras as Almost Discrete Locales
de réir: Francesco Ciraulo
Foilsithe / Cruthaithe: (2023-12-01)

Revisiting differential categories: new results on the foundation of differentiation
de réir: Lemay, JSP
Foilsithe / Cruthaithe: (2021)

Optimising assimilation of sea ice concentration in an Earth system model with a multicategory sea ice model
de réir: M. Kimmritz, et al.
Foilsithe / Cruthaithe: (2018-01-01)

Kan extensions in enriched category theory /
de réir: 313184 Dubuk, Eduardo
Foilsithe / Cruthaithe: (1970)

Report of the Widwest category seminar IV /
de réir: 312707 Applegrate, H.
Foilsithe / Cruthaithe: (1970)

Reports of the Midwest Category Seminar V /
de réir: 312819 Andre, M., et al.
Foilsithe / Cruthaithe: (1971)

Autonomous categories /
de réir: 312890 Barr, Michael
Foilsithe / Cruthaithe: (1979)

Categories for the working mathematician /
de réir: 387070 MacLane, Saunders
Foilsithe / Cruthaithe: (1971)

Theory of categories /
de réir: 310508 Mitchell, Barry
Foilsithe / Cruthaithe: (1965)

Reports of the Midwest Category Seminar /
de réir: Benabou, J.
Foilsithe / Cruthaithe: (1967)

Category Seminar : proceedings /
de réir: Sydney Category Theory Seminar (1972/73 : Sydney), et al.
Foilsithe / Cruthaithe: (1974)

Categories for the working mathematician /
de réir: Mac Lane, Saunders, 1909-2005
Foilsithe / Cruthaithe: (1998)

Formal category theory : adjointness for 2-Cartegories /
de réir: Gray, John W. (John Walker), 1931-
Foilsithe / Cruthaithe: (1974)

Coherence in categories /
de réir: 310337 Kelly, G. M.
Foilsithe / Cruthaithe: (1972)