Found 40 Documents (Results 1–40)
Category theory in Isabelle/HOL as a basis for meta-logical investigation. (English) Zbl 07810724
Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 69-83 (2023).
MSC:
68Vxx
Yoneda lemma for simplicial spaces. (English) Zbl 1516.18018
Reviewer: Hirokazu Nishimura (Tsukuba)
Functorial semiotics for creativity in music and mathematics. (English) Zbl 1520.00002
Computational Music Science. Cham: Springer (ISBN 978-3-030-85189-7/hbk; 978-3-030-85192-7/pbk; 978-3-030-85190-3/ebook). xiii, 166 p. (2022).
The nominal/FM Yoneda lemma. (English) Zbl 1472.03065
Yoneda Lemma: Complete enunciation and proof (including the occurrence of the empty set situation). (English) Zbl 1424.18001
Filtered \(cA_\infty\)-categories and functor categories. (English) Zbl 1409.18019
Reviewer: Gabriella Böhm (Budapest)
On quantum computation, anyons, and categories. (English) Zbl 1439.81028
Omodeo, Eugenio G. (ed.) et al., Martin Davis on computability, computational logic, and mathematical foundations. Cham: Springer. Outst. Contrib. Log. 10, 209-241 (2016).
Enriched categories as a free cocompletion. (English) Zbl 1334.18004
Reviewer: Sergejs Solovjovs (Brno)
Some notes on \(\delta\)-Koszul objects. (Chinese. English summary) Zbl 1313.16046
A comparison of the functors of points of supermanifolds. (English) Zbl 1275.58001
Reviewer: Eugen Pascu (Montréal)
A category theory and higher dimensional algebra approach to complex systems biology, meta-systems and ontological theory of levels: emergence of life, society, human consciousness and articial intelligence. (English) Zbl 1340.92017
Yoneda representations of flat functors and classifying toposes. (English) Zbl 1291.18003
Reviewer: Dimitru Buşneag (Craiova)
Yoneda theory for double categories. (English) Zbl 1251.18004
Reviewer: Sergejs Solovjovs (Brno)
The local functors of points of supermanifolds. (English) Zbl 1209.58005
Reviewer: Hirokazu Nishimura (Tsukuba)
Relative injectivity as cocompleteness for a class of distributors. (English) Zbl 1161.18300
Reviewer: Dana Piciu (Craiova)
On algebra spaces. (English) Zbl 1122.46034
Mallios, Anastasios (ed.) et al., Topological algebras and their applications. Proceedings of the 5th international conference, Athens, Greece, June 27–July 1, 2005. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-3868-6/pbk). Contemporary Mathematics 427, 263-283 (2007).
On regular presheaves and regular semi-categories. (English) Zbl 1038.18006
Reviewer: Hirokazu Nishimura (Tsukuba)
Fixpoint operators for domain equations. (English) Zbl 1002.68087
MSC:
68Q55
Elements of category theory. (Elemente der Kategorientheorie.) (German) Zbl 0918.18001
Spektrum Hochschultaschenbuch. Heidelberg: Spektrum Akademischer Verlag. 311 S. (1999).
Reviewer: M.Golasiński (Toruń)
MSC:
18-01
Deductive systems and categories. (English) Zbl 0999.18001
Reviewer: Zoran Petrović (Beograd)
A bicategorical analysis of \(E\)-categories. (English) Zbl 0923.18001
Reviewer: C.Calude (Auckland)
MSC:
18A15
18D05
The Yoneda lemma. (English) Zbl 0918.18002
On formalization of bicategory theory. (English) Zbl 0897.18003
Gunter, Elsa L. (ed.) et al., Theorem proving in higher order logics. 10th international conference, TPHOLs ’97. Murray Hill, NJ, USA. August 19–22, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1275, 199-214 (1997).
Reviewer: S.V.Solov’ev (Durham)
Finite generation of the extension algebra \(\text{Ext}_ R^*(M,M)\). (English) Zbl 0851.16007
Reviewer: H.-P.Yu (Emory)
An application of Yoneda’s lemma in semirings. (English) Zbl 0822.16038
Reviewer: G.L.Booth (Unitra / Transkei)
\(\omega\)-Cat Yoneda lemma. (English) Zbl 0696.18003
Reviewer: J.Koslowski
La théorie des fonctions indexées en récursivité. (The theory of indexed functions in recursion). (French) Zbl 0639.03050
Quasi-fini e lemma di Yoneda relativo nella teoria delle bicategorie relative. (Italian) Zbl 0461.18003
Filter Results by …
Document Type
- Journal Articles (34)
- Collection Articles (4)
- Books (2)
all
top 5
Author
- Balduzzi, Luigi (2)
- Carmeli, Claudio (2)
- Fioresi, Rita (2)
- Hofmann, Dirk (2)
- Kühnrich, Martin (2)
- Mazzola, Guerino (2)
- Adhikari, Mahima Ranjan (1)
- Amini, Afshin (1)
- Amini, Babak (1)
- Baianu, Ion C. (1)
- Bayer, Jonas (1)
- Benzmüller, Christoph Ewald (1)
- Berni-Canani, Ugo (1)
- Blass, Andreas Raphael (1)
- Borceux, Francis (1)
- Brown, Ronald (1)
- Caramello, Olivia (1)
- Chen, Zilu (1)
- Chitescu, Ion (1)
- Clementino, Maria Manuel (1)
- Cordier, Jean-Marc (1)
- Crole, Roy L. (1)
- De Deken, Olivier (1)
- Dey, Sangeeta (1)
- Di Biase, Fausto (1)
- Došen, Kosta (1)
- Garner, Richard (1)
- Glazebrook, James F. (1)
- Golasiński, Marek (1)
- Gonus, Alexey (1)
- Gurevich, Yuri (1)
- Hinich, Vladimir (1)
- Kinoshita, Yoshiki (1)
- Krantz, Steven George (1)
- Lowen, Wendy (1)
- Mac Lane, Leslie Saunders (1)
- Mallios, Anastasios (1)
- Mijoule, Richard (1)
- Moens, M.-A. (1)
- Mohri, Takahisa (1)
- Momtahan, Ehsan (1)
- Pan, Yuan (1)
- Pang, Yan (1)
- Paré, Robert (1)
- Porter, Timothy (1)
- Power, John (1)
- Pratt, Vaughan R. (1)
- Pumplün, Dieter (1)
- Rasekh, Nima (1)
- Rosolini, Giuseppe (1)
- Rossi, Fabio (1)
- Schulz, Rainer (1)
- Scott, Dana Stewart (1)
- Shulman, Michael A. (1)
- Street, Ross H. (1)
- Tholen, Walter (1)
- Walters, Robert F. C. (1)
- Yokura, Shoji (1)
all
top 5
Serial
- Appl. Categ. Struct. (3)
- Theory Appl. Categ. (3)
- Adv. Math. (2)
- Math. Japon. (2)
- Z. Math. Logik Grundlagen Math. (2)
- Acta Univ. Apulensis, Math. Inform. (2)
- Arch. Math. (Brno) (1)
- Bull. Calcutta Math. Soc. (1)
- J. Algebra (1)
- Math. Rev. Anal. Numér. Théor. Approximation, Math. (1)
- Publ. Inst. Math., Nouv. Sér. (1)
- Theor. Comput. Sci. (1)
- Trans. Am. Math. Soc. (1)
- Adv. Math., Beijing (1)
- Math. Struct. Comput. Sci. (1)
- J. Aust. Math. Soc., Ser. A (1)
- Expo. Math. (1)
- Filomat (1)
- Fundam. Inform. (1)
- Cah. Topol. Géom. Différ. Catég. (1)
- J. Algebra Appl. (1)
- Boll. Unione Mat. Ital., V. Ser., B (1)
- J. Math. Music (1)
- Complex Anal. Oper. Theory (1)
- J. Homotopy Relat. Struct. (1)
- Tbil. Math. J. (1)
- Comput. Music Sci. (1)
Biographic Reference
- Yoneda, Nobuo (1)
all
top 3
Software
- Archive Formal Proofs (1)
- CZH_Foundations (1)
- Category Theory (1)
- Isabelle/HOL (1)
- LogiKEy (1)
- Yoneda Lemma (1)